Auto merge of #109128 - chenyukang:yukang/remove-type-ascription, r=e… · RalfJung/miri@cd324a1 · GitHub

Commit

Auto merge of #109128 - chenyukang:yukang/remove-type-ascription, r=e…

Browse files

…stebank

Remove type ascription from parser and diagnostics

Mostly based on rust-lang/rust#106826

Part of #101728

r? `@estebank`

Loading branch information

bors committed May 2, 2023

2 parents 0c1adb2 + 73f0c34 commit cd324a1