src/tools/clippy/tests/ui/crashes/ice-6139.rs

//@ check-pass

trait T<'a> {}

fn foo(_: Vec<Box<dyn T<'_>>>) {}

fn main() {
    foo(vec![]);
}