// RUN: %target-typecheck-verify-swift -swift-version 5 -solver-enable-operator-designated-types -solver-disable-shrink -disable-constraint-solver-performance-hacks | |
func test(_ x: Int) -> Int { | |
return x + nil | |
// expected-error@-1 {{cannot convert value of type 'Int' to expected argument type '_.Stride'}} | |
} |