I now realize I had misread and the parent poster did explicitly say that "thing: String" is fine but "thing String" is not. An odd hill to die on.