{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"cmse::validate_cmse_abi(self.tcx(),"}]}
        cmse::validate_cmse_abi(self.tcx(), self.dcx(), hir_id, abi, fn_ptr_ty);
        // reject function types that violate cmse ABI requirements