Function make_dummy_instance 

fn make_dummy_instance<'tcx>(
    tcx: TyCtxt<'tcx>,
    local_def_id: LocalDefId,
) -> Instance<'tcx>