// 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)