mirror of https://github.com/rust-lang/rust
22 lines
413 B
Rust
22 lines
413 B
Rust
// Can't rustfix because we apply the suggestion twice :^(
|
|
#![feature(type_alias_impl_trait)]
|
|
#![allow(dead_code)]
|
|
|
|
fn main() {}
|
|
|
|
trait TraitWithAssoc {
|
|
type Assoc;
|
|
}
|
|
|
|
type Foo<V> = impl Trait<V::Assoc>;
|
|
//~^ associated type `Assoc` not found for `V`
|
|
//~| associated type `Assoc` not found for `V`
|
|
|
|
trait Trait<U> {}
|
|
|
|
impl<W> Trait<W> for () {}
|
|
|
|
fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
|
|
()
|
|
}
|