Type ascription was partially implemented in https://github.com/rust-lang/rust/pull/30184 and, the AST changes are available as of https://github.com/rust-lang-nursery/rustfmt/pull/847.