diff --git a/mypy/applytype.py b/mypy/applytype.py
index 5261064b4c04..75b10ac3586b 100644
--- a/mypy/applytype.py
+++ b/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.
     """
diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
index abe832025d16..be56ee3cf63b 100644
--- a/mypy/checkexpr.py
+++ b/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
diff --git a/mypy/types.py b/mypy/types.py
index e076e9fb4a57..3726cb38a675 100644
--- a/mypy/types.py
+++ b/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.
     """