We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
using Scala 2.13.6, Java 17
sealed and permits commented out due to #12159
sealed
permits
public /* sealed */ interface Nat /* permits Nat.Zero, Nat.Succ */ { public static final record Zero() implements Nat {} public static final record Succ(Nat pred) implements Nat {} }
`;` expected but `implements` found. public static final record Zero() implements Nat {}
The error message is confusing as well, as
public static final record Zero();
does not work, but
public static final record Zero() {}
does.
The text was updated successfully, but these errors were encountered:
@harpocrates fyi, if you feel like looking at this
Sorry, something went wrong.
PermittedSubclasses
I added a test, but this always worked. record support arrived in 2.13.7 which was merged that summer but released Nov 1, after this ticket.
record
kore
No branches or pull requests
reproduction steps
using Scala 2.13.6, Java 17
sealed
andpermits
commented out due to #12159problem
The error message is confusing as well, as
does not work, but
does.
The text was updated successfully, but these errors were encountered: