tests/06-impl-trait.rs


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

// Checks that `impl trait` works.

use impl_trait::impl_trait;

struct Foo;
trait Bar {
}

impl_trait! {
    impl Foo {
        impl trait Bar {
        }
    }
}

fn static_assert<T: Bar>(_t: T) {}

fn main() {
    static_assert(Foo);
}