| // RUN: %target-typecheck-verify-swift | |
| struct ConformsToError<T: Error> {} | |
| _ = ConformsToError<Never>() | |
| struct ConformsToEquatable<T: Equatable> {} | |
| _ = ConformsToEquatable<Never>() | |
| struct ConformsToComparable<T: Comparable> {} | |
| _ = ConformsToComparable<Never>() | |
| struct ConformsToHashable<T: Hashable> {} | |
| _ = ConformsToHashable<Never>() |