//@ check-pass
#![warn(unused)]
type Z = dyn for<'x> Send;
//~^ WARN type alias `Z` is never used
fn main() {}