syntax_data: {"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"impl<I:"}]}
source_snippet: impl<I: Interner, P> Goal<I, P> {
context_after:     pub fn new(cx: I, param_env: I::ParamEnv, predicate: impl Upcast<I, P>) -> Goal<I, P> {