tests/ui/issues/issue-41744.rs

//@ run-pass
trait Tc {}
impl Tc for bool {}

fn main() {
    let _: &[&dyn Tc] = &[&true];
}