Function rebind_ty 

fn rebind_ty<'tcx>(ty: &mut Ty<'tcx>, callee_args: &GenericArgs<'tcx>)

Replace a leaf callee’s type parameter (TyKind::Param) with the concrete type argument passed at the call site.