syntax_data: {"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"last.nested_goals.insert(last.input,"}]}
source_snippet:             last.nested_goals.insert(last.input, PathsToNested::EMPTY);
context_before:             // See tests/ui/traits/next-solver/cycles/hidden-by-overflow.rs
context_after:         }