{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"&&"}]}
            && let ty::BoundVariableKind::Region(trait_bv) = trait_bv
        if let ty::BoundVariableKind::Region(impl_bv) = impl_bv
        {