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
Existential type bounds aren't inferred, a la #1786, when a bound is an F-bound. A modification of the example from #1786 which demonstrates:
abstractclassSomeClass2[T] {deftValue:T}
classMyClass2[T<:SomeClass2[T]](valmyValue:T)
defmyMethod(i:MyClass2[_]) {
i.myValue.tValue // << error: value tValue is not a member of _$1
}
defmyMethodT[T<:SomeClass2[T]](i:MyClass2[T]) {
i.myValue.tValue // << works
}
(I used to think this was part of #6169, but I do not think that now.)
The text was updated successfully, but these errors were encountered:
Existential type bounds aren't inferred, a la #1786, when a bound is an F-bound. A modification of the example from #1786 which demonstrates:
(I used to think this was part of #6169, but I do not think that now.)
The text was updated successfully, but these errors were encountered: