1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
package ArgumentResolutionBug { class A { feature x; } behavior B { in feature x; out feature : A = new A(x); } class C { feature a : A; feature b : B; connector a ::> a.x to b; } }