blob: 0d7f5bad25f11bda3617c3e07facf5c3974c85c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#![feature(type_alias_impl_trait)]
#![allow(dead_code)]
use std::fmt::Debug;
type FooX = impl Debug;
trait Foo<A> {}
impl Foo<()> for () {}
impl Foo<u32> for () {}
fn foo() -> impl Foo<FooX> {
//~^ ERROR: the trait bound `(): Foo<FooX>` is not satisfied
()
}
fn main() {}
|