From fb35156bb567417121e8e93ebd93a0fd13bce732 Mon Sep 17 00:00:00 2001 From: Ali MJ Al-Nasrawy Date: Thu, 28 Mar 2024 06:07:50 +0000 Subject: [PATCH] fixup except equal params from --- tests/ui/type-alias-impl-trait/equal-lifetime-params-ok.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tests/ui/type-alias-impl-trait/equal-lifetime-params-ok.rs b/tests/ui/type-alias-impl-trait/equal-lifetime-params-ok.rs index 6e3f72a1ebe..0ce85a4d6cb 100644 --- a/tests/ui/type-alias-impl-trait/equal-lifetime-params-ok.rs +++ b/tests/ui/type-alias-impl-trait/equal-lifetime-params-ok.rs @@ -1,4 +1,6 @@ -// FIXME: description +// Normally we do not allow equal lifetimes in opaque type generic args at +// their defining sites. An exception to this rule, however, is when the bounds +// of the opaque type *require* the lifetimes to be equal. // issue: #113916 //@ check-pass