src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/in-trait-object.rs

   1 #![feature(const_trait_bound_opt_out)]
   2 #![allow(bare_trait_objects)]
   3 #![allow(incomplete_features)]
   4
   5 struct S;
   6 trait T {}
   7 impl T for S {}
   8
   9 // An inherent impl for the trait object `?const T`.
  10 impl ?const T {}
  11 //~^ ERROR `?const` is not permitted in trait objects
  12
  13 fn trait_object() -> &'static dyn ?const T { &S }
  14 //~^ ERROR `?const` is not permitted in trait objects
  15
  16 fn trait_object_in_apit(_: impl IntoIterator<Item = Box<dyn ?const T>>) {}
  17 //~^ ERROR `?const` is not permitted in trait objects
  18
  19 fn main() {}