Add link to issue

odersky · odersky · commit 74cc1b1f2441 · 2020-05-22T19:25:13.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala b/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala
@@ -300,7 +300,7 @@ trait ConstraintHandling[AbstractContext] {
    *      (i.e. `inst.widenSingletons <:< bound` succeeds with satisfiable constraint)
    *   2. If `inst` is a union type, approximate the union type from above by an intersection
    *      of all common base types, provided the result is a subtype of `bound`.
-   *   3. (currently not enabled) If `inst` is an intersection with some restricted base types, drop
+   *   3. (currently not enabled, see #9028) If `inst` is an intersection with some restricted base types, drop
    *      the restricted base types from the intersection, provided the result is a subtype of `bound`.
    *
    *  Don't do these widenings if `bound` is a subtype of `scala.Singleton`.

Original file line number	Diff line number	Diff line change
`@@ -300,7 +300,7 @@ trait ConstraintHandling[AbstractContext] {`
`300`	`300`	* (i.e. `inst.widenSingletons <:< bound` succeeds with satisfiable constraint)
`301`	`301`	* 2. If `inst` is a union type, approximate the union type from above by an intersection
`302`	`302`	* of all common base types, provided the result is a subtype of `bound`.
`303`		- * 3. (currently not enabled) If `inst` is an intersection with some restricted base types, drop
	`303`	+ * 3. (currently not enabled, see #9028) If `inst` is an intersection with some restricted base types, drop
`304`	`304`	* the restricted base types from the intersection, provided the result is a subtype of `bound`.
`305`	`305`	`*`
`306`	`306`	* Don't do these widenings if `bound` is a subtype of `scala.Singleton`.