type T1 = T2;
type T2 = i32;

@fragment
fn f() {
  var v : T1;
}