There are many places in this PR that have a space before the : in type signatures; rustc style is to have the : immediately follow the name.