{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"|impl_def_id|"}]}
            |impl_def_id| {
            goal.predicate.self_ty(),
                // For every `default impl`, there's always a non-default `impl`