syntax_data: {"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"None"}]}
source_snippet:                 None => break 'diving_in,
context_before:                 // There are no more unvisited direct super traits, dive-in finished
context_after:             }