dotty

dotty copied to clipboard

The following should typecheck, but currently doesn't: ``` class Foo { val x: String|Null = "hello" val res: String = x match { case null => "it's null" case s...

abeln

Use Checkers Framework annotations for common libraries

1

@liufengyun writes Currently, there are 3 well-known NonNull annotations in the Java world: - JSR 305 : javax.annotation.Nonnull - Android: @NonNull - CheckerFramework: @NonNull A quick github search suggests that...

abeln

Might need to wait until Dotty drops support of scalac.

abeln

Java enums get a bunch of synthesized methods: https://docs.oracle.com/javase/7/docs/api/java/lang/Enum.html Some of them (e.g. `valueOf` and `values`) never return `null`. Adjust `JavaNullMap` to account for that.

abeln