syntax_data: {"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // So, there is a bit going on here. First, `WellFormed` predicates
context_after:                     // are coinductive, like trait predicates with auto traits.