Rollup merge of #96950 - JohnTitor:issue-96395, r=compiler-errors,oli-obk

Add regression test for #96395

Closes #96395
This repeats "fixed" and "ICE", see https://github.com/rust-lang/glacier/pull/1243#issuecomment-1123768138
I think it's good to add a test before regressing again.
r? ``@compiler-errors`` for quick reviiew

cc ``@oli-obk`` you might want to check as you're familiar with MIR

src/test/ui/associated-types/issue-82079.rs

@@ -1,4 +1,7 @@
+// revisions: default miropt
 // check-pass
+//[miropt]compile-flags: -Z mir-opt-level=3
+// -^ This flag is for #96395 as a regression test.
 
 mod convenience_operators {
     use crate::{Op, Relation};