Add regression test for #96395

Author: JohnTitor

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};