syntax_data: {"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"inspect:"}]}
source_snippet:         inspect: &mut Self::ProofTreeBuilder,
context_before:         input: <Self::Cx as Cx>::Input,
context_after:     ) -> <Self::Cx as Cx>::Result;