{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"&&"}]}
            && let Some(segment) = trait_ref.trait_ref.path.segments.last()
        if let hir::OpaqueTy { bounds: [hir::GenericBound::Trait(trait_ref)], .. } = opaque_ty
            && let Some(args) = segment.args