#![feature(const_trait_impl)]
#![feature(effects)]

struct S;
trait T {}

impl const dyn T {
    //~^ ERROR inherent impls cannot be `const`
    //~| ERROR the const parameter `host` is not constrained by the impl trait, self type, or
    pub const fn new() -> std::sync::Mutex<dyn T> {}
    //~^ ERROR mismatched types
    //~| ERROR cannot be known at compilation time
}

fn main() {}