Add comment link to test

odersky · odersky · commit 80c91ee1deeb · 2020-01-30T19:21:05.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -1942,7 +1942,7 @@ class TypeComparer(initctx: Context) extends ConstraintHandling[AbsentContext] w
         //    object O extends A, B { ... }
         //
         // Here, `F` is treated as bivariant in `O`. That is, only bivariant implementation
-        // of `F` are allowed.
+        // of `F` are allowed. See neg/hk-variance2s.scala test.
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1942,7 +1942,7 @@ class TypeComparer(initctx: Context) extends ConstraintHandling[AbsentContext] w`
`1942`	`1942`	`// object O extends A, B { ... }`
`1943`	`1943`	`//`
`1944`	`1944`	// Here, `F` is treated as bivariant in `O`. That is, only bivariant implementation
`1945`		- // of `F` are allowed.
	`1945`	+ // of `F` are allowed. See neg/hk-variance2s.scala test.
`1946`	`1946`	`}`
`1947`	`1947`	`}`
`1948`	`1948`