syntax_data: {"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"(ty::TermKind::Ty(a),"}]}
source_snippet:             (ty::TermKind::Ty(a), ty::TermKind::Ty(b)) => relation.relate(a, b)?.into(),
context_before:         Ok(match (a.kind(), b.kind()) {
context_after:             (ty::TermKind::Const(a), ty::TermKind::Const(b)) => relation.relate(a, b)?.into(),