type a = i32;

fn f(a : a) {
  let b = a;
}