tests/ui/rfcs/rfc-2632-const-trait-impl/issue-88155.rs


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

// known-bug: #110395

#![feature(const_trait_impl)]

pub trait A {
    fn assoc() -> bool;
}

pub const fn foo<T: A>() -> bool {
    T::assoc()
    //FIXME ~^ ERROR the trait bound
    //FIXME ~| ERROR cannot call non-const fn
}

fn main() {}