end
class U
-special T
+ super T
end
class V
-special T
+ super T
end
class W
-special U
-special V
+ super U
+ super V
end
+fun maybe: Bool do return true
+
var a = new A
var t: T = new T
var v: V = new V
var w: W = new W
-var y: Object#!alt1#
+var y: Object#alt1#
#alt1#var y: U
y = a.foo !bar do 0.output
y = a.foo !bar do break t
y = a.foo !bar do break v
y = a.foo !bar do break w
y = a.foo !bar do
+ if maybe then
break t
+ else if maybe then
break u
+ else if maybe then
break v
+ else if maybe then
break w
+ end
end
y = a.foo !bar do
+ if maybe then
break u
+ else if maybe then
break v
+ else if maybe then
break w
+ end
end