make sure nothing is bound in expansion of no-forall type aliases
make sure nothing is bound in expansion of no-forall type aliases

sjfloat/frege,mmhelloworld/frege,scrotty/frege,mperry/frege,vsts/frege,mmhelloworld/frege,oppai/frege,ppelleti/frege,oppai/frege,mperry/frege,mmhelloworld/frege,sjfloat/frege,scrotty/frege,ppelleti/frege,mperry/frege,vsts/frege,vsts/frege,ppelleti/frege,oppai/frege,scrotty/frege,sjfloat/frege