Additionally, for let specifically, it’s much nicer of a diff to explicitly annotate types vs having them inferred.

  int x = 5;
  auto x = 5;

vs

  let x: i32 = 5;
  let x = 5;

(This is one part the practical impact of a lot of your comment is about, of course, just also adding this little bit to make it concrete.)