syntax_data: {"ast_node_type":"other","tokens":[{"end":1,"kind":"keyword","start":0,"text":"{"}]}
source_snippet: {
context_before:     Copy + Debug + Hash + Eq + IntoKind<Kind = ty::TermKind<I>> + TypeFoldable<I> + Relate<I>
context_after:     fn as_type(&self) -> Option<I::Ty> {