| // RUN: %target-typecheck-verify-swift | |
| extension Collection where Element: Numeric { | |
| var v: Element { | |
| return self.reduce(0, +) | |
| } | |
| } | |
| struct R<T> {} | |
| func ==<T: Equatable>(lhs: R<T>, rhs: T?) {} | |
| func foo<T>(_ e: @autoclosure @escaping () throws -> T?) -> R<T> { | |
| return R<T>() | |
| } | |
| func bar<T>(_ e: T?) -> R<T> { | |
| return R<T>() | |
| } | |
| foo([Double(1.0)].v) == Double(1.0) | |
| bar([Double(1.0)].v) == Double(1.0) |