ICE errors in rust-std module ptr

[Zn2FePO424H2O]

Step to reproduce

git clone https://github.com/Zn2FePO424H2O/flux-verify-std.git
cd flux-verify-std
git checkout ICE_ptr
./test_flux

Error

error: internal compiler error: crates/flux-middle/src/fhir.rs:1045:13: unexpected resolution Def(TraitAlias, DefId(0:1592 ~ core[4d9b]::ptr::metadata::Thin))
--> /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/ptr/metadata.rs:112:31
|
112 | data_pointer: *const impl Thin,
| ^^^^

thread 'rustc' panicked at crates/flux-middle/src/fhir.rs:1045:13:
Box
note: run with RUST_BACKTRACE=1 environment variable to display a backtrace
error: could not compile core (lib)

Caused by:
process didn't exit successfully: /Users/Exelica/.flux/flux-driver --crate-name core --edition=2021 /Users/Exelica/Downloads/project/flux-verify-std/library/core/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --diagnostic-width=212 --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 -C split-debuginfo=unpacked --warn=unexpected_cfgs --check-cfg 'cfg(bootstrap)' --check-cfg 'cfg(no_fp_fmt_parse)' --check-cfg 'cfg(stdarch_intel_sde)' --check-cfg 'cfg(target_os, values("rtems"))' --check-cfg 'cfg(feature, values(any()))' --check-cfg 'cfg(flux)' --check-cfg 'cfg(docsrs)' --check-cfg 'cfg(feature, values("debug_refcell", "optimize_for_size", "panic_immediate_abort"))' -C metadata=672de24f82af075d -C extra-filename=-672de24f82af075d --out-dir /Users/Exelica/Downloads/project/flux-verify-std/dummy/target/flux/x86_64-apple-darwin/debug/deps --target x86_64-apple-darwin -Z force-unstable-if-unmarked -L dependency=/Users/Exelica/Downloads/project/flux-verify-std/dummy/target/flux/x86_64-apple-darwin/debug/deps -L dependency=/Users/Exelica/Downloads/project/flux-verify-std/dummy/target/flux/debug/deps --extern flux_rs=/Users/Exelica/Downloads/project/flux-verify-std/dummy/target/flux/debug/deps/libflux_rs-2d0116c38eb6f420.dylib --cap-lints allow (exit status: 101)