{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"&ty::Alias(ty::Opaque,"}]}
                &ty::Alias(ty::Opaque, ty::AliasTy { def_id: b_def_id, .. }),
                &ty::Alias(ty::Opaque, ty::AliasTy { def_id: a_def_id, .. }),
            ) if a_def_id == b_def_id || infcx.next_trait_solver() => {