named wildcards are in scope irrespective of scopedtypevariables extension