Introduce MIR summary to avoid loading large bodies without inlining them#89708

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

cjgillot:mir-summarycjgillot/rust:mir-summaryCopy head branch name to clipboard