{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":">,"}]}
                >,
                    rustc_middle::ty::EarlyBinder<'tcx, rustc_middle::ty::Ty<'tcx>>
            [] external_constraints: rustc_middle::traits::solve::ExternalConstraintsData<rustc_middle::ty::TyCtxt<'tcx>>,