Denis Zharkov 11a96ee8c8 Introduce not null type parameter capability ...

Java nullability annotations may generate types that currently are not denotable in Kotlin:
class Java {
  void <F> foo(@NotNull F f) {}
}

Type of given value parameter should be not nullable under any substitution:
String/String?/String! because of annotation contract.

NB: Currently there is no full analogues for such types in pure kotlin

2016-01-28 08:36:23 +03:00

..

parameter

Fix testData in compiler: add collections and ranges package to fq-names.

2016-01-22 05:54:38 +03:00

return

Introduce not null type parameter capability

2016-01-28 08:36:23 +03:00

typeParameter

Fix testData in compiler: add collections and ranges package to fq-names.

2016-01-22 05:54:38 +03:00

PropagateTypeArgumentNullable.java

Remove KotlinSignature from tests, spec, delete tests with errors

2015-11-27 21:22:04 +03:00

PropagateTypeArgumentNullable.txt

Fix testData in compiler: add collections and ranges package to fq-names.

2016-01-22 05:54:38 +03:00