From dc87ad23904803914603af7c1a5447f469113267 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <jtitor@2k36.org>
Date: Thu, 12 May 2022 00:34:45 +0900
Subject: [PATCH] Add regression test for #96395

---
 src/test/ui/associated-types/issue-82079.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/test/ui/associated-types/issue-82079.rs b/src/test/ui/associated-types/issue-82079.rs
index 590c799c2d71c..8b3bad707d3f2 100644
--- a/src/test/ui/associated-types/issue-82079.rs
+++ b/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};