/uninhabited and//g + /unconstructible/uninstantiable/g.

Author: andersio

Sources/UninhabitedTypeGuards.swift

@@ -3,99 +3,99 @@ import Result
 // Observation
 extension SignalProducer where Value == Never {
 	@discardableResult
-	@available(*, deprecated, message:"`Result.success` is never delivered - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"`Result.success` is never delivered - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func startWithResult(_ action: @escaping (Result<Value, Error>) -> Void) -> Disposable { observingUninhabitedTypeError() }
 }
 
 extension SignalProducer where Value == Never, Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Observer is never called - value type `Never` and error type `NoError` are uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Observer is never called - value type `Never` and error type `NoError` are uninstantiable (Use at runtime would trap)")
 	public func startWithResult(_ action: @escaping (Result<Value, Error>) -> Void) -> Disposable { observingUninhabitedTypeError() }
 
 	@discardableResult
-	@available(*, deprecated, message:"Observer is never called - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Observer is never called - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func startWithValues(_ action: @escaping (Value) -> Void) -> Disposable { observingUninhabitedTypeError() }
 }
 
 extension SignalProducer where Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Observer is never called - error type `NoError` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Observer is never called - error type `NoError` is uninstantiable (Use at runtime would trap)")
 	public func startWithFailed(_ action: @escaping (Error) -> Void) -> Disposable { observingUninhabitedTypeError() }
 }
 
 extension Signal where Value == Never {
 	@discardableResult
-	@available(*, deprecated, message:"`Result.success` is never delivered - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"`Result.success` is never delivered - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func observeResult(_ action: @escaping (Result<Value, Error>) -> Void) -> Disposable? { observingUninhabitedTypeError() }
 }
 
 extension Signal where Value == Never, Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Observer is never called - value type `Never` and error type `NoError` are uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Observer is never called - value type `Never` and error type `NoError` are uninstantiable (Use at runtime would trap)")
 	public func observeResult(_ action: @escaping (Result<Value, Error>) -> Void) -> Disposable? { observingUninhabitedTypeError() }
 
 	@discardableResult
-	@available(*, deprecated, message:"Observer is never called - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Observer is never called - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func observeValues(_ action: @escaping (Value) -> Void) -> Disposable? { observingUninhabitedTypeError() }
 }
 
 extension Signal where Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Observer is never invoked - error type `NoError` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Observer is never invoked - error type `NoError` is uninstantiable (Use at runtime would trap)")
 	public func observeFailed(_ action: @escaping (Error) -> Void) -> Disposable? { observingUninhabitedTypeError() }
 }
 
 // flatMap
 extension SignalProducer where Value == Never {
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> SignalProducer<Inner.Value, Error> where Inner.Error == Error { observingUninhabitedTypeError() }
 
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> SignalProducer<Inner.Value, Error> where Inner.Error == NoError { observingUninhabitedTypeError() }
 }
 
 extension SignalProducer where Value == Never, Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> SignalProducer<Inner.Value, Inner.Error> { observingUninhabitedTypeError() }
 
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> SignalProducer<Inner.Value, Inner.Error> where Inner.Error == Error { observingUninhabitedTypeError() }
 }
 
 extension SignalProducer where Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteError` instead - error type `NoError` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteError` instead - error type `NoError` is uninstantiable (Use at runtime would trap)")
 	public func flatMapError<NewError>(_ transform: @escaping (Error) -> SignalProducer<Value, NewError>) -> SignalProducer<Value, NewError> { observingUninhabitedTypeError() }
 }
 
 extension Signal where Value == Never {
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> Signal<Inner.Value, Error> where Inner.Error == Error { observingUninhabitedTypeError() }
 
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` is uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> Signal<Inner.Value, Error> where Inner.Error == NoError { observingUninhabitedTypeError() }
 
 }
 
 extension Signal where Value == Never, Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> Signal<Inner.Value, Inner.Error> { observingUninhabitedTypeError() }
 
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteValue` instead - value type `Never` and error type `NoError` are uninstantiable (Use at runtime would trap)")
 	public func flatMap<Inner: SignalProducerConvertible>(_ strategy: FlattenStrategy, _ transform: @escaping (Value) -> Inner) -> Signal<Inner.Value, Inner.Error> where Inner.Error == Error { observingUninhabitedTypeError() }
 }
 
 extension Signal where Error == NoError {
 	@discardableResult
-	@available(*, deprecated, message:"Use `promoteError` instead - error type `NoError` is uninhabited and unconstructible (Use at runtime would trap)")
+	@available(*, deprecated, message:"Use `promoteError` instead - error type `NoError` is uninstantiable (Use at runtime would trap)")
 	public func flatMapError<NewError>(_ transform: @escaping (Error) -> SignalProducer<Value, NewError>) -> Signal<Value, NewError> { observingUninhabitedTypeError() }
 }