Function inst_binder 

pub fn inst_binder<'tcx, T>(
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    args: Option<GenericArgsRef<'tcx>>,
    x: EarlyBinder<'tcx, T>,
) -> T
where
    T: TypeFoldable<TyCtxt<'tcx>> + Clone,

Instantiate this binder with the provided args. Use None if the args are known to be the identity args.