#![feature(type_alias_impl_trait)]

type X = impl Send;

pub fn abc() -> X {
    ()
}