import AK

protocol ConformanceMarker {}
enum CxxSequenceMarker<T: ~Copyable> {}
extension CxxSequenceMarker: ConformanceMarker where T: CxxSequence {}
private func isCxxSequenceType<T: ~Copyable>(_ type: borrowing T.Type) -> Bool {
    return CxxSequenceMarker<T>.self is ConformanceMarker.Type
}

@main
struct Test {
   static func main() {
       precondition(isCxxSequence(AK.StringView.self))
   }
}