“type annotation” sounds a bit confusing because “...

# language-proposals

[cedric]

“type annotation” sounds a bit confusing because “annotation” means various things, but it’s a pretty well established way of describing the : String part in val s: String.