diff options
| author | Michael Goulet <michael@errs.io> | 2023-04-22 00:08:38 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-04-25 19:53:09 +0000 |
| commit | bb99cdc7cd3f2c0b1ab533735604ade7c2fdf9ad (patch) | |
| tree | fc0751a2f046c9a2cc9c0f90ca73733f37da065d /tests/ui/nll/member-constraints/nested-impl-trait-fail.rs | |
| parent | a7aa20517c80161a2ffe7c0c25fc2e0140c43c90 (diff) | |
| download | rust-bb99cdc7cd3f2c0b1ab533735604ade7c2fdf9ad.tar.gz rust-bb99cdc7cd3f2c0b1ab533735604ade7c2fdf9ad.zip | |
vars are ?
Diffstat (limited to 'tests/ui/nll/member-constraints/nested-impl-trait-fail.rs')
| -rw-r--r-- | tests/ui/nll/member-constraints/nested-impl-trait-fail.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/ui/nll/member-constraints/nested-impl-trait-fail.rs b/tests/ui/nll/member-constraints/nested-impl-trait-fail.rs index 66ff828a84f..ceb417f84f3 100644 --- a/tests/ui/nll/member-constraints/nested-impl-trait-fail.rs +++ b/tests/ui/nll/member-constraints/nested-impl-trait-fail.rs @@ -5,9 +5,9 @@ trait Cap<'a> {} impl<T> Cap<'_> for T {} -// Assuming the hidden type is `[&'_#15r u8; 1]`, we have two distinct member constraints: -// - '_#15r member ['static, 'a, 'b] // from outer impl-trait -// - '_#15r member ['static, 'a, 'b] // from inner impl-trait +// Assuming the hidden type is `[&'?15 u8; 1]`, we have two distinct member constraints: +// - '?15 member ['static, 'a, 'b] // from outer impl-trait +// - '?15 member ['static, 'a, 'b] // from inner impl-trait // To satisfy both we can choose 'a or 'b, so it's a failure due to ambiguity. fn fail_early_bound<'s, 'a, 'b>(a: &'s u8) -> impl IntoIterator<Item = impl Cap<'a> + Cap<'b>> where |
