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