FIR substitution: use intersection of bounds for * projection

This commit is contained in:
Mikhail Glukhikh
2019-11-14 15:50:36 +03:00
parent 43a8c1282f
commit 1e548e3f21
8 changed files with 41 additions and 16 deletions
@@ -1,5 +1,5 @@
public open class Some : R|kotlin/Any|, R|Strange<*>| {
public open operator fun foo(): R|kotlin/Any|
public open operator fun foo(): R|kotlin/Any?|
public constructor(): R|Some|