correctly deal with user type ascriptions in pat#96515

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:user-types-in-patlcnr/rust:user-types-in-patCopy head branch name to clipboard