syntax_data: {"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet:     pub goal: Goal<I, P>,
context_before: pub struct QueryInput<I: Interner, P> {
context_after:     pub predefined_opaques_in_body: I::PredefinedOpaques,