Simplify the creation of synthetic HIR.#156123

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

cjgillot:synthetic-hircjgillot/rust:synthetic-hirCopy head branch name to clipboard