Tweak region inference to ignore constraints like `'a <= 'static`#13975

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

nikomatsakis:issue-13794-fn-subtyping-and-staticnikomatsakis/rust:issue-13794-fn-subtyping-and-staticCopy head branch name to clipboard