Denis Zharkov 4ab6b6954d Fix false positive "Null can not be a value of a non-null type" ...

Inferred type of receiver of orElse  is Optional<T & Any>
Generic descriptor is orElse(E!): E!
Substituted descriptor is orElse(T): T , and that is the problem.

Seems that E!  => (T & Any)!  gets expanded to just T  or T & Any , however it should be expanded to
(T & Any) .. (T & Any)?  => T & Any .. T & Any

T & Any is NotNullTypeParameter(T)

The problem is that (T & Any)?  is expanded to T & Any,
that is seems to be wrong.

 #KT-15236 Fixed

2017-01-19 10:20:35 +03:00

..

src

Fix false positive "Null can not be a value of a non-null type"

2017-01-19 10:20:35 +03:00

descriptor.loader.java.iml

'descriptors' module exports 'deserialization', not the other way around

2015-10-01 17:53:13 +03:00