{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.check(def_id, item_visibility, effective_vis).generics().predicates().ty();
            DefKind::OpaqueTy => {