Typechecker goes throws a stack overflow

[dhruvrajvanshi]

fn test(a: u32):void {
  let a = a + 1
}