20 lines
512 B
Rust
20 lines
512 B
Rust
#![feature(const_trait_bound_opt_out)]
|
|
#![allow(bare_trait_objects)]
|
|
#![allow(incomplete_features)]
|
|
|
|
struct S;
|
|
trait T {}
|
|
impl T for S {}
|
|
|
|
// An inherent impl for the trait object `?const T`.
|
|
impl ?const T {}
|
|
//~^ ERROR `?const` is not permitted in trait objects
|
|
|
|
fn trait_object() -> &'static dyn ?const T { &S }
|
|
//~^ ERROR `?const` is not permitted in trait objects
|
|
|
|
fn trait_object_in_apit(_: impl IntoIterator<Item = Box<dyn ?const T>>) {}
|
|
//~^ ERROR `?const` is not permitted in trait objects
|
|
|
|
fn main() {}
|