tests/ui/type-alias-impl-trait/issue-65384.rs


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

#![feature(type_alias_impl_trait)]

trait MyTrait {}

impl MyTrait for () {}

type Bar = impl MyTrait;

impl MyTrait for Bar {}
//~^ ERROR: conflicting implementations of trait `MyTrait` for type `()`

#[define_opaque(Bar)]
fn bazr() -> Bar {}

fn main() {}