nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-02-17 09:23:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add regression test for #96287

Browse Source
This commit is contained in:
Guillaume Gomez 2023-01-02 14:29:56 +01:00
parent a167435b76
commit c1567730c0
2 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/test/rustdoc-ui/issue-96287.rs Normal file
View File

@ -0,0 +1,17 @@
#![feature(type_alias_impl_trait)]
pub trait TraitWithAssoc {
type Assoc;
}
pub type Foo<V> = impl Trait<V::Assoc>;
//~^ ERROR
//~^^ ERROR
pub trait Trait<U> {}
impl<W> Trait<W> for () {}
pub fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
()
}

15
src/test/rustdoc-ui/issue-96287.stderr Normal file
View File

@ -0,0 +1,15 @@
error[E0220]: associated type `Assoc` not found for `V`
--> $DIR/issue-96287.rs:7:33
|
LL | pub type Foo<V> = impl Trait<V::Assoc>;
| ^^^^^ there is a similarly named associated type `Assoc` in the trait `TraitWithAssoc`
error[E0220]: associated type `Assoc` not found for `V`
--> $DIR/issue-96287.rs:7:33
|
LL | pub type Foo<V> = impl Trait<V::Assoc>;
| ^^^^^ there is a similarly named associated type `Assoc` in the trait `TraitWithAssoc`
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0220`.