Fuse parsing of `self` into `parse_param_general`.
Remove blanket check for existence of other errors before emitting "type annotation needed" errors, and add some eager checks to avoid adding obligations when they refer to types that reference `[type error]` in order to reduce unneded errors.
param_attrs
Arm, Field, FieldPat, GenericParam, Param, StructField and Variant
