syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"|"}]}
source_snippet:             | ty::ClauseKind::WellFormed(_)
context_before:             | ty::ClauseKind::ConstArgHasType(_, _)
context_after:             | ty::ClauseKind::ConstEvaluatable(_)