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 //~| ERROR `?const` on trait bounds is not yet implemented
  13
  14 fn trait_object() -> &'static dyn ?const T { &S }
  15 //~^ ERROR `?const` is not permitted in trait objects
  16 //~| ERROR `?const` on trait bounds is not yet implemented
  17
  18 fn trait_object_in_apit(_: impl IntoIterator<Item = Box<dyn ?const T>>) {}
  19 //~^ ERROR `?const` is not permitted in trait objects
  20 //~| ERROR `?const` on trait bounds is not yet implemented
  21
  22 fn main() {}