super HInfoBoxable
redef fun infobox(v)
do
+ var declared_type = self.declared_type
if declared_type == null then
var res = new HInfoBox(v, "{name}")
res.new_field("local var").append("{name}")
do
var mt = mtype
if mt == null then return null
- if mt isa MNullableType then mt = mt.mtype
+ mt = mt.as_notnullable
if mt isa MVirtualType or mt isa MParameterType then
res.add_class("nc_vt")
end