mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

change to known bug

Browse Source
This commit is contained in:
lcnr 2023-08-18 23:59:49 +02:00
parent 11716830ac
commit ee04744e64
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.rs
View File

@ -1,4 +1,5 @@
// compile-flags: -Ztrait-solver=next
// known-bug: trait-system-refactor-initiative#60
// Generalizing a projection containing an inference variable
// which cannot be named by the `root_vid` can result in ambiguity.
@ -71,5 +72,4 @@ fn bound<T: ?Sized, U: ?Sized, V: ?Sized>()
fn main() {
bound::<<Rigid as IdHigherRankedBound>::Assoc, <Wrapper<Leaf> as Id>::Assoc, _>()
//~^ ERROR type annotations needed
}

2
tests/ui/traits/new-solver/generalize/generalize-proj-new-universe-index-2.stderr
View File

@ -1,5 +1,5 @@
error[E0282]: type annotations needed
--> $DIR/generalize-proj-new-universe-index-2.rs:72:5
--> $DIR/generalize-proj-new-universe-index-2.rs:74:5
|
LL | bound::<<Rigid as IdHigherRankedBound>::Assoc, <Wrapper<Leaf> as Id>::Assoc, _>()
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type of the type parameter `V` declared on the function `bound`