Better error when expecting a type

Open Aurel300 opened this issue 5 years ago • 1 comments

https://github.com/viperproject/prusti-dev/blob/977556fd19d9e662d69a62e6862812979d090c6d/prusti-tests/tests/parse/ui/simple_forall.stderr#L1-L5

I think after a colon in this position we can only have a type, so some of the things listed in the error might not apply.

Sep 17 '20 12:09 Aurel300

Pushing this off to syn: https://github.com/dtolnay/syn/issues/1153

Mar 29 '22 09:03 Aurel300