syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub trait Tys<I: Interner<Tys = Self>>:
context_after:     Copy + Debug + Hash + Eq + SliceLike<Item = I::Ty> + TypeFoldable<I> + Default