1 #![feature(const_trait_impl)]
2 #![feature(associated_type_bounds)]
9 fn rpit() -> impl ~const T { S }
10 //~^ ERROR `~const` is not allowed
12 fn apit(_: impl ~const T) {}
13 //~^ ERROR `~const` is not allowed
15 fn rpit_assoc_bound() -> impl IntoIterator<Item: ~const T> { Some(S) }
16 //~^ ERROR `~const` is not allowed
18 fn apit_assoc_bound(_: impl IntoIterator<Item: ~const T>) {}
19 //~^ ERROR `~const` is not allowed
21 struct TildeQuestion<T: ~const ?Sized>(std::marker::PhantomData<T>);
22 //~^ ERROR `~const` and `?` are mutually exclusive