{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"if"}]}
                if cx.impl_is_default(impl_def_id) {
                // for this impl, since it is *not* proof that the trait goal holds.
                    return;