| #![feature(const_trait_impl)] | |
| struct S; | |
| trait T {} | |
| impl const dyn T { | |
| //~^ ERROR inherent impls cannot be const | |
| pub const fn new() -> std::sync::Mutex<dyn T> {} | |
| //~^ ERROR mismatched types | |
| //~| ERROR cannot be known at compilation time | |
| } | |
| fn main() {} |