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
interface SuperInt {}
abstract sealed class Maybe<N extends Number> {
final class Maybe1 extends Maybe<Long> {}
final class Maybe2 extends Maybe<Long> implements SuperInt {}
}
class Test {
void testMaybe(Maybe<?> maybe) {
if (maybe == null) return;
zork();
}
}
Make any change to the edit buffer - two bogus errors show up in the editor but not in the problems view:
The type Maybe1 extending a sealed class Maybe<Long> should be a permitted subtype of Maybe<Long>
The type Maybe2 extending a sealed class Maybe<Long> should be a permitted subtype of Maybe<Long>
Save the file, problems vanish. They reappear when buffer is changed.
The text was updated successfully, but these errors were encountered:
Make any change to the edit buffer - two bogus errors show up in the editor but not in the problems view:
Save the file, problems vanish. They reappear when buffer is changed.
The text was updated successfully, but these errors were encountered: