typeck: check for infer before type impls trait#73965

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

davidtwco:issue-73886-non-primitive-slice-castdavidtwco/rust:issue-73886-non-primitive-slice-castCopy head branch name to clipboard