syntax_data: {"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ClauseKind::HostEffect(data)"}]}
source_snippet:             ClauseKind::HostEffect(data) => data.fmt(f),
context_before:             ClauseKind::ConstArgHasType(ct, ty) => write!(f, "ConstArgHasType({ct:?}, {ty:?})"),
context_after:             ClauseKind::Trait(a) => a.fmt(f),