Do the second part of #2806: Disallow unlifted types in ~ patterns