// check-pass

#![feature(type_alias_impl_trait)]
#![allow(dead_code)]

type Foo = Vec<impl Send>;

fn make_foo() -> Foo {
    vec![true, false]
}

fn main() {}