Modify rule S4018: modify message to make it clear the rule is about …

…type inference (#1503)

* Fix S4018 message to make it clear it's about type inference.

* Added more comments to code sample.

* And more...

* Updated message to include refactoring.

rules/S4018/message.adoc

@@ -1,4 +1,4 @@
 === Message
 
-Refactor this method to have parameters matching all the type parameters.
+Refactor this method to use all type parameters in the parameter list to enable type inference.
 

rules/S4018/metadata.json

@@ -1,5 +1,5 @@
 {
-  "title": "Generic methods should provide type parameters",
+  "title": "All type parameters should be used in the parameter list to enable type inference",
   "type": "CODE_SMELL",
   "status": "ready",
   "remediation": {

rules/S4018/rule.adoc

@@ -1,4 +1,4 @@
-The best way to determine the type of a generic method is by inference based on the type of argument that is passed to the method. This is not possible when a parameter type is missing from the argument list.
+Type inference enables the call of a generic method without explicitly specifying its type arguments. This is not possible when a parameter type is missing from the argument list.
 
 
 == Noncompliant Code Example
@@ -13,6 +13,7 @@ namespace MyLibrary
   {
     public void MyMethod<T>()  // Noncompliant
     {
+        // this method can only be invoked by providing the type argument e.g. 'MyMethod<int>()'
     }
   }
 }
@@ -31,6 +32,7 @@ namespace MyLibrary
   {
     public void MyMethod<T>(T param)
     {
+        // type inference allows this to be invoked 'MyMethod(arg)'
     }
   }
 }