{"ast_node_type":"impl","tokens":[{"end":33,"kind":"keyword","start":0,"text":"constituent_tys:"}]}
        constituent_tys: impl Fn(
        goal: Goal<I, TraitPredicate<I>>,
            &EvalCtxt<'_, D>,