[FIR] Only let supertypes of ILTs include Number when it's not unsigned

#KT-64607 Fixed
This commit is contained in:
Kirill Rakhman
2024-01-02 14:36:54 +01:00
committed by Space Team
parent 81d6615915
commit fd12f24725
7 changed files with 59 additions and 3 deletions
@@ -0,0 +1,18 @@
// FIR_IDENTICAL
// WITH_STDLIB
// LANGUAGE: +ContextReceivers
// ISSUE: KT-64607
val Number.a get() = ""
fun Number.b() = ""
context(Number) val c get() = ""
context(Number) fun d() = ""
fun test() {
2U.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>a<!>
2U.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>b<!>()
with (2U) {
<!NO_CONTEXT_RECEIVER!>c<!>
<!NO_CONTEXT_RECEIVER!>d<!>()
}
}