RobbieClarken / ice-repro-69596

Reproduction of ICE reported in #69596

To trigger the issue:

1. Run cargo check
2. Delete the line with the comment // DELETE TO TRIGGER ICE in src/lib.rs
3. Run cargo check again

Alternatively, running the ./demo script will reproduce the error inside a docker build.