src/test/ui/impl-trait/bindings.rs

   1 #![feature(impl_trait_in_bindings)]
   2 //~^ WARN the feature `impl_trait_in_bindings` is incomplete
   3
   4 fn a<T: Clone>(x: T) {
   5     const foo: impl Clone = x;
   6     //~^ ERROR attempt to use a non-constant value in a constant
   7 }
   8
   9 fn b<T: Clone>(x: T) {
  10     let _ = move || {
  11         const foo: impl Clone = x;
  12         //~^ ERROR attempt to use a non-constant value in a constant
  13     };
  14 }
  15
  16 trait Foo<T: Clone> {
  17     fn a(x: T) {
  18         const foo: impl Clone = x;
  19         //~^ ERROR attempt to use a non-constant value in a constant
  20     }
  21 }
  22
  23 impl<T: Clone> Foo<T> for i32 {
  24     fn a(x: T) {
  25         const foo: impl Clone = x;
  26         //~^ ERROR attempt to use a non-constant value in a constant
  27     }
  28 }
  29
  30 fn main() { }