MIR eval loses block local trait implementations when evaluating

#[test]
fn regression_block_def_map() {
    check_pass(
        r#"
//- minicore: sized
trait Write {
    fn write(&mut self) {
        trait SpecWriteFmt {
            fn spec_write_fmt(self);
        }
        impl<W: Write + ?Sized> SpecWriteFmt for &mut W {
            #[inline]
            default fn spec_write_fmt(self) {}
        }
        impl<W: Write> SpecWriteFmt for &mut W {
            #[inline]
            fn spec_write_fmt(self) {}
        }
        self.spec_write_fmt()
    }
}
struct C;
impl Write for C {}
fn main() {
    C.write();
}
"#,
    );
}

see https://github.com/rust-lang/rust-analyzer/pull/16299

Start with the regression_block_def_map test in the issue and run it in rust-analyzer. Trace MIR evaluation for the block-local trait implementations in the reproducer; done when check_pass succeeds without losing those implementations. The issue also points to pull request 16299 for related context.