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

   1 #![feature(const_trait_bound_opt_out)]
   2 #![feature(associated_type_bounds)]
   3 #![allow(incomplete_features)]
   4
   5 trait T {}
   6 struct S;
   7 impl T for S {}
   8
   9 fn rpit() -> impl ?const T { S }
  10 //~^ ERROR `?const` is not permitted in `impl Trait`
  11
  12 fn apit(_: impl ?const T) {}
  13 //~^ ERROR `?const` is not permitted in `impl Trait`
  14
  15 fn rpit_assoc_bound() -> impl IntoIterator<Item: ?const T> { Some(S) }
  16 //~^ ERROR `?const` is not permitted in `impl Trait`
  17
  18 fn apit_assoc_bound(_: impl IntoIterator<Item: ?const T>) {}
  19 //~^ ERROR `?const` is not permitted in `impl Trait`
  20
  21 fn main() {}