tests/ui/impl-trait/coherence-treats-tait-ambig.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![feature(type_alias_impl_trait)]

type T = impl Sized;

struct Foo;

impl Into<T> for Foo {
//~^ ERROR conflicting implementations of trait `Into<T>` for type `Foo`
    fn into(self) -> T {
        Foo
    }
}

fn main() {
    let _: T = Foo.into();
}