Swift version 4.1 (swift-4.1-RELEASE) Target: x86_64-unknown-linux-gnutrue true true/usercode/main.swift:8:17: warning: 'is' test is always true print(S<K>.self is A.Type) ^ /usercode/main.swift:9:20: warning: 'is' test is always true print(S<S<K>>.self is A.Type) ^ /usercode/main.swift:10:23: warning: 'is' test is always true print(S<S<S<K>>>.self is A.Type) ^