Draft: approximateWC: don't float higher TcLevel metas
This MR ensures that approximateWC
does not float out constraints
which mention metavariables of higher level number than the ambient
TcLevel
. This ensures that we never encounter metavariables of higher
TcLevel
.
TODO:
-
Check this doesn't actually break programs. -
Update the approximateWC
note.