Add PurelyImplements annotation

It's parameter is FQ-name of class (currently only from builtins) that added as supertype to annotated Java class.

Parameters of annotated class used as non-flexible arguments of added supertype, that helps to propagate more precise types when using in Kotlin.
Some standard JDK collections loaded as they annotated with PurelyImplements.

See tests for clarification.
Before: ArrayList<Int>.add(x: Int!) // possible to add null
After: ArrayList<Int>.add(x: Int)   // impossible to add null

 #KT-7628 Fixed
 #KT-7835 Fixed

This commit is contained in:

Denis Zharkov

2015-07-01 15:31:18 +03:00

parent 8120513465

commit 8b49a1d660

24 changed files with 724 additions and 4 deletions

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/arrayListNullable.txt

Vendored

View File

@@ -0,0 +1,4 @@
 package
 internal fun bar(): kotlin.String?
 internal fun foo(): kotlin.Unit