Copy over some methods from At to InferCtxt - #163978

Copy over some methods from At to InferCtxt#163978

rust-bors[bot] merged 3 commits into

rust-lang:mainrust-lang/rust:mainfrom

fallible-algebra:at-removal/at-methods-on-infctxtfallible-algebra/rust:at-removal/at-methods-on-infctxtCopy head branch name to clipboard