fn make_shim<'tcx>(tcx: TyCtxt<'tcx>, instance: InstanceDef<'tcx>) -> Body<'tcx>