syntax: no isa/as warning for double nullable formal type