{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ExternalConstraints"}]}
        ExternalConstraints -> ExternalConstraints<'tcx>,
    external_constraints: pub mk_external_constraints(ExternalConstraintsData<TyCtxt<'tcx>>):
    predefined_opaques_in_body: pub mk_predefined_opaques_in_body(PredefinedOpaquesData<TyCtxt<'tcx>>):