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
traitAtraitBtraitL[A2, B2<:A2]
objectLub {
deflub=if (true) (null:L[A, A]) else (null:L[B, B])
deffoo(a: Any, b: Any) = (a, b)
foo(b = lub, a = lub) // use named args transforms to include TypeTree(<lub.tpe>
}
<console>:13: error: type arguments [_1,_2] do not conform to trait L's type parameter bounds [A2,B2 <: A2]
foo(b = lub, a = lub) // use named args transforms to include TypeTree(<lub.tpe>
^
I suspect calculating the correct LUB will be to difficult, and we should instead disable the check for synthetic TypeTrees.
The text was updated successfully, but these errors were encountered:
I suspect calculating the correct LUB will be to difficult, and we should instead disable the check for synthetic TypeTrees.
The text was updated successfully, but these errors were encountered: