-
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.
fc191c75
This is needed to fix RustBelt-related. Since type classes are no longer over-eagerly resolved, the `biIndex` now sometimes contains an evar.