You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
scala> :power
scala> trait T
scala> val t = typeOf[T]
scala> val tr = RefinedType(List(t, typeOf[AnyRef]), EmptyScope)
scala> t =:= tr
val res0: Boolean = false
scala> t <:< tr
val res1: Boolean = true
scala> tr <:< t
val res2: Boolean = true
This leads to
scala> trait X { def f: Int }; trait T { def f: X }; class C extends T { def f = new X { def f = 1 } }
^
error: under -Xsource:3-cross, the inferred type changes to X [quickfixable]
The inferred type for f is RefinedType(List(X, AnyRef), Nil).
The text was updated successfully, but these errors were encountered:
In 2.13.13:
This leads to
The inferred type for
f
isRefinedType(List(X, AnyRef), Nil)
.The text was updated successfully, but these errors were encountered: