[FE] Move context receivers checks to the separate resolution part

This commit is contained in:
Anastasiya Shadrina
2021-06-10 02:26:48 +07:00
committed by TeamCityServer
parent 37a981cc29
commit bfd20e1890
2 changed files with 55 additions and 39 deletions
@@ -7,5 +7,5 @@ context(T)
fun <T> T.f(t: B<T>) {}
fun Int.main(a: A, b: B<String>) {
a.f(<!TYPE_MISMATCH, TYPE_MISMATCH!>b<!>)
a.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>f<!>(b)
}