@swift-main struct K<T: Sequence> { func foo() { print(T.SubSequence.self) } }