support non-defining uses of opaques in borrowck#145244

lcnr wants to merge 3 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:handle-opaque-types-before-region-inferencelcnr/rust:handle-opaque-types-before-region-inferenceCopy head branch name to clipboard