Update some docstrings after removal of bound_vars in 2db9dc3 (#1385)

Author: rwbarton

mypy/applytype.py

@@ -12,8 +12,7 @@ def apply_generic_arguments(callable: CallableType, types: List[Type],
     """Apply generic type arguments to a callable type.
 
     For example, applying [int] to 'def [T] (T) -> T' results in
-    'def [-1:int] (int) -> int'. Here '[-1:int]' is an implicit bound type
-    variable.
+    'def (int) -> int'.
 
     Note that each type can be None; in this case, it will not be applied.
     """

mypy/checkexpr.py

@@ -388,8 +388,7 @@ def infer_function_type_arguments(self, callee_type: CallableType,
 
         Infer based on the types of arguments.
 
-        Return a derived callable type that has the arguments applied (and
-        stored as implicit type arguments).
+        Return a derived callable type that has the arguments applied.
         """
         if not self.chk.typing_mode_none():
             # Disable type errors during type inference. There may be errors

mypy/types.py

@@ -933,7 +933,6 @@ class TypeStrVisitor(TypeVisitor[str]):
     Do not preserve original formatting.
 
     Notes:
-     - Include implicit bound type variables of callables.
      - Represent unbound types as Foo? or Foo?[...].
      - Represent the NoneTyp type as None.
     """