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