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)]
#![allow(incomplete_features)]

trait MyTrait {}

impl MyTrait for () {}

type Bar = impl MyTrait;

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

fn bazr() -> Bar { }

fn main() {}