Function eliminate_infer_var 

pub fn eliminate_infer_var<'tcx>(
    fn_did: DefId,
    args: &[GenericArg<'tcx>],
    tcx: TyCtxt<'tcx>,
) -> Vec<GenericArg<'tcx>>