#![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() {}