syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"ty::ClauseKind::HostEffect(..)"}]}
source_snippet:         ty::ClauseKind::HostEffect(..) => {
context_before:         }
context_after:             // Technically the well-formedness of this predicate is implied by