Widen before checking types in assumedCanEqual

odersky · odersky · commit e50bf71183b9 · 2020-12-06T20:59:37.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -898,6 +898,8 @@ trait Implicits:
             case TypeBounds(lo, hi) if lo.ne(hi) && !t.symbol.is(Opaque) => apply(hi)
             case _ => t
           }
+        case t: SingletonType =>
+          apply(t.widen)
         case t: RefinedType =>
           apply(t.parent)
         case _ =>

Original file line number	Diff line number	Diff line change
`@@ -898,6 +898,8 @@ trait Implicits:`
`898`	`898`	`case TypeBounds(lo, hi) if lo.ne(hi) && !t.symbol.is(Opaque) => apply(hi)`
`899`	`899`	`case _ => t`
`900`	`900`	`}`
	`901`	`+ case t: SingletonType =>`
	`902`	`+ apply(t.widen)`
`901`	`903`	`case t: RefinedType =>`
`902`	`904`	`apply(t.parent)`
`903`	`905`	`case _ =>`