clarify comment about TypeVar

1 files changed, 6 insertions, 3 deletions

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 1dce544ca..822c80b6b 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -2184,13 +2184,16 @@ object Types {
 
   // ------------ Type variables ----------------------------------------
 
-  /** A type variable is essentially a switch that models some part of a substitution.
+  /** In a TypeApply tree, a TypeVar is created for each argument type to be inferred.
+   *  Every type variable is referred to by exactly one inferred type parameter of some
+   *  TypeApply tree.
+   *
+   *  A type variable is essentially a switch that models some part of a substitution.
    *  It is first linked to `origin`, a poly param that's in the current constraint set.
    *  It can then be (once) instantiated to some other type. The instantiation is
    *  recorded in the type variable itself, or else, if the current type state
    *  is different from the variable's creation state (meaning unrolls are possible)
-   *  in the current typer state. Every type variable is referred to by exactly
-   *  one inferred type parameter in a TypeApply tree.
+   *  in the current typer state.
    *
    *  @param  origin        The parameter that's tracked by the type variable.
    *  @param  creatorState  The typer state in which the variable was created.