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: i3

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.)