src/test/ui/rfc-2632-const-trait-impl/issue-88155.rs

   1 #![feature(const_trait_impl)]
   2
   3 pub trait A {
   4     fn assoc() -> bool;
   5 }
   6
   7 pub const fn foo<T: A>() -> bool {
   8     T::assoc()
   9     //~^ ERROR the trait bound
  10     //~| ERROR cannot call non-const fn
  11 }
  12
  13 fn main() {}