{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                // This is a WF error tested by `coherence-impl-trait-for-trait-dyn-compatible.rs`.
                let mut supertrait_def_ids = elaborate::supertrait_def_ids(tcx, component_def_id);