| // RUN: %target-typecheck-verify-swift | |
| class C {} | |
| func overload(x: Int) -> C {} | |
| func overload(x: Float) -> C? {} | |
| // Ensure that we infer both weak vars as having a single level of | |
| // optionality. We will emit diagnostics if that is not the case. | |
| weak var v = overload(x: 1) | |
| weak var w = overload(x: 1.0) |