update comment

bishabosha · bishabosha · commit fc55b9a1171c · 2020-12-29T11:31:01.000Z
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2404,6 +2404,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
    *  1. Single inheritance of classes
    *  2. Final classes cannot be extended
    *  3. ConstantTypes with distinct values are non intersecting
+   *  3. TermRefs with distinct values are non intersecting
    *  4. There is no value of type Nothing
    *
    *  Note on soundness: the correctness of match types relies on on the

Original file line number	Diff line number	Diff line change
`@@ -2404,6 +2404,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling`
`2404`	`2404`	`* 1. Single inheritance of classes`
`2405`	`2405`	`* 2. Final classes cannot be extended`
`2406`	`2406`	`* 3. ConstantTypes with distinct values are non intersecting`
	`2407`	`+ * 3. TermRefs with distinct values are non intersecting`
`2407`	`2408`	`* 4. There is no value of type Nothing`
`2408`	`2409`	`*`
`2409`	`2410`	`* Note on soundness: the correctness of match types relies on on the`