Edit: Correction for static methods

To make the comparassion between static methods and methods with implicit parameters work we need to add a dummy first parameter for static members, so only mthods with an explicit first parameter don't need a new first parameter.

Author: HoBoIs

source/templates.tex

@@ -3903,7 +3903,7 @@
 in the type of the value synthesized for a non-type template parameter
 is also a unique synthesized type.
 \end{note}
-Each function template $M$ that is a member function with an implicit object parameter
+Each function template $M$ that is a member function with no explicit object parameter
 is considered to have
 a new first parameter of type $X(M)$, described below,
 inserted in its function parameter list.