validation-test/compiler_crashers_2_fixed/0169-sr8179.swift

// RUN: %target-swift-frontend -emit-sil %s

protocol SignalInterface {
	associatedtype OutputValue
}

class Signal<OV>: SignalInterface {
  typealias OutputValue = OV
}

extension Signal {
  func foo<U>(_: U) -> SignalChannel<[U], Signal<Array<U>>>
    where OutputValue == Optional<U> { return SignalChannel() }
}

struct SignalChannel<OutputValue, Output: Signal<OutputValue>> { }