// 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>()