{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                ToTrace::to_trace(cause, trait_ref_a, trait_ref_b)
            (ImplSubject::Inherent(ty_a), ImplSubject::Inherent(ty_b)) => {