diff options
| -rw-r--r-- | tests/ui/type-alias-impl-trait/equal-lifetime-params-ok.rs | 4 |
1 files changed, 3 insertions, 1 deletions
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 |