user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Mark a fixed test

Browse source
This commit is contained in:
Michael Goulet 2025-03-21 18:04:34 +00:00
parent c80d9b8d67
commit 484362e3f8
2 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/ui/associated-type-bounds/dedup-normalized-2-higher-ranked.stderr → tests/ui/associated-type-bounds/dedup-normalized-2-higher-ranked.current.stderr
View file

@ -1,12 +1,12 @@
error[E0283]: type annotations needed
--> $DIR/dedup-normalized-2-higher-ranked.rs:23:5
--> $DIR/dedup-normalized-2-higher-ranked.rs:28:5
|
LL | impls(rigid);
| ^^^^^ cannot infer type of the type parameter `U` declared on the function `impls`
|
= note: cannot satisfy `for<'b> <P as Trait>::Rigid: Bound<'b, _>`
note: required by a bound in `impls`
--> $DIR/dedup-normalized-2-higher-ranked.rs:20:13
--> $DIR/dedup-normalized-2-higher-ranked.rs:25:13
|
LL | fn impls<T: for<'b> Bound<'b, U>, U>(_: T) {}
| ^^^^^^^^^^^^^^^^^^^^ required by this bound in `impls`

7
tests/ui/associated-type-bounds/dedup-normalized-2-higher-ranked.rs
View file

@ -1,3 +1,8 @@
//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@[next] check-pass
// We try to prove `for<'b> T::Rigid: Bound<'b, ?0>` and have 2 candidates from where-clauses:
//
// - `for<'a> Bound<'a, String>`
@ -21,7 +26,7 @@ fn impls<T: for<'b> Bound<'b, U>, U>(_: T) {}
fn test<P: Trait>(rigid: P::Rigid) {
impls(rigid);
//~^ ERROR type annotations needed
//[current]~^ ERROR type annotations needed
}
fn main() {}