diff options
| author | Ali MJ Al-Nasrawy <alimjalnasrawy@gmail.com> | 2024-03-28 06:07:50 +0000 |
|---|---|---|
| committer | Ali MJ Al-Nasrawy <alimjalnasrawy@gmail.com> | 2024-03-28 06:08:43 +0000 |
| commit | fb35156bb567417121e8e93ebd93a0fd13bce732 (patch) | |
| tree | fbd55ad04faf4d883dd610da019ab64008d97e9c | |
| parent | 7c6876f9a9fe400e29430cb47cc11e71c13bb875 (diff) | |
| download | rust-fb35156bb567417121e8e93ebd93a0fd13bce732.tar.gz rust-fb35156bb567417121e8e93ebd93a0fd13bce732.zip | |
fixup except equal params from
| -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 |