kotlin-fork

2 Commits

Author SHA1 Message Date

Author	SHA1	Message	Date
Chris Povirk	72c9378500	Fix error message for `-Xjspecify-annotations`. The message currently claims that you can pass the value "disable," but in fact the value it means is "ignore."	2023-11-13 09:59:27 +00:00
Chris Povirk	ac87ad422d	Recognize Checker Framework declaration annotations. We are migrating Guava to use these annotations rather than jsr305's @Nullable. We can't use the Checker Framework's _@Nullable_ yet because we promise compatibility with Java 7, which doesn't support type annotations. This is related to but distinct from https://youtrack.jetbrains.com/issue/KT-21408, which is about a different jsr305 annotation we use, @ParametersAreNonnullByDefault. I've also updated some docs to mention Kotlin's existing support for the Checker Framework _@NonNull_.	2017-12-27 13:23:06 +01:00

72c9378500

Fix error message for -Xjspecify-annotations.

The message currently claims that you can pass the value "disable," but
in fact the value it means is "ignore."

2023-11-13 09:59:27 +00:00

Chris Povirk

ac87ad422d

Recognize Checker Framework declaration annotations.

We are migrating Guava to use these annotations rather than jsr305's
@Nullable. We can't use the Checker Framework's _@Nullable_ yet because
we promise compatibility with Java 7, which doesn't support type
annotations. This is related to but distinct from
https://youtrack.jetbrains.com/issue/KT-21408, which is about a
different jsr305 annotation we use, @ParametersAreNonnullByDefault.

I've also updated some docs to mention Kotlin's existing support for the
Checker Framework _@NonNull_.

2017-12-27 13:23:06 +01:00