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
d472154ea7
Remove KotlinSignature from tests, spec, delete tests with errors
2015-11-27 21:22:04 +03:00
632e336782
Prohibit unsafe covariant conversion for collections invariant in Java
2015-09-02 10:39:29 +03:00
41d4af2cb9
Implement rendering of raw types
...
Also add some clarification in spec
2015-08-06 08:18:18 +03:00
6b92f67eac
Load raw types as platform with specific bounds
...
Raw(A<T_i>) = (A<UP(T_i)>..A<*>)
Raw types have specific scopes that behaves like JVM signature erasure
2015-07-31 17:33:21 +03:00
04aee291b9
Proper treatment of return types
2015-07-09 16:32:25 +03:00
61da419c4a
Spec: account for problematic cases (some unsolved yet)
2015-07-09 16:32:24 +03:00
64866183f7
Spec for enhancing Java declarations with annotations
2015-07-09 16:32:24 +03:00
99b049af20
Minor. Typo fixed
2015-02-16 18:50:09 +03:00
5db6bb04e3
Basic Java nullability warnings implemented
...
#KT-6723 In Progress
2015-02-10 06:55:47 +01:00
3453809b4b
Defining flexible type semantic equality through subtyping
2014-10-15 14:07:55 +04:00
f1c66fa6b0
Assertions on approximation of platform types to non-null types
...
- for most expressions (ExpressionCodegen.genQualified)
2014-10-13 15:38:13 +04:00
107480657a
Spec document added
2014-10-13 15:38:00 +04:00
Chris Povirk