{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":")"}]}
    ) -> ExternalConstraints<'tcx> {
        data: ExternalConstraintsData<Self>,
        self.mk_external_constraints(data)