-
Robbert Krebbers authored
This is needed to fix RustBelt-related. Since type classes are no longer over-eagerly resolved, the `biIndex` now sometimes contains an evar.
5b2e00fb
This is needed to fix RustBelt-related. Since type classes are no longer over-eagerly resolved, the `biIndex` now sometimes contains an evar.