class A
type E: T
- readable writable attr _e: E
+ readable writable var _e: nullable E = null
end
class B
-special A
+ super A
init do end
end
class T
- meth foo do 0.output
+ fun foo do 0.output
init do end
end
class U
-special T
- redef meth foo do 1.output
+ super T
+ redef fun foo do 1.output
init do end
end
var b = new B
-var t: T
-var u = new U
+var t: nullable T
+var u: nullable U = new U
b.e = u
#alt1#u = b.e