// FIR_IDENTICAL object X1 object X2 class A fun A.foo() = X1 fun A.foo() = X2 fun A.test() = foo() // TODO fix constraint system