// run-pass

pub type T = f32;