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
java.lang.AbstractMethodError:Receiverclassrs$line$1$Foo$Bar does not define or inherit an implementation of the resolved method 'java.lang.String discriminator()' of abstract class rs$line$1$Foo. Selected method is 'abstract java.lang.String rs$line$1$Foo$Bar.discriminator()'.
at rs$line$1$.test(rs$line$1:6)
... 32 elided
Expectation
I expected to run the method, and have it return a widened type, not a crash
The text was updated successfully, but these errors were encountered:
Refinements are copied over from parents, because they might be needed
for tracked members that should have more specific types in the child.
These members are generated without an implementation and should not be
used in runtime.
possible fix for #21213
---------
Co-authored-by: Dale Wijnand <dale.wijnand@gmail.com>
Co-authored-by: Matt Bovel <matthieu@bovel.net>
Compiler version
3.5.0-RC4
Minimized code
Output
running main method test:
Expectation
I expected to run the method, and have it return a widened type, not a crash
The text was updated successfully, but these errors were encountered: