disallow ref to type param for which default type arg is the default
update spec for #735