I think this would be better phrased as "`closure` has already been assigned the type `|int| -> ()` via inference."  (I'm planning on providing @mdinger with a pull request which will show him another phrasing.)