Function mir_built 

pub(crate) fn mir_built(tcx: TyCtxt<'_>, def: LocalDefId) -> &Steal<Body<'_>>

Implementation of the mir_built query.