{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
    // anyway. Thus we bail out even before the specialization graph, avoiding the dep_graph edge.
    // If there are no impls for the trait, then "all impls" are trivially coherent and we won't check anything
    if impls.is_empty() {