Function make_shim 

fn make_shim<'tcx>(tcx: TyCtxt<'tcx>, shim: ShimKind<'tcx>) -> Body<'tcx>