src/test/ui/rfc-2632-const-trait-impl/assoc-type-const-bound-usage.rs


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

// check-pass
#![feature(const_trait_impl)]

#[const_trait]
trait Foo {
    type Assoc: ~const Foo;
    fn foo() {}
}

const fn foo<T: ~const Foo>() {
    <T as Foo>::Assoc::foo();
}

fn main() {}