// RUN: %target-typecheck-verify-swift -debugger-support | |
import Nonexistent_Module // expected-error {{no such module}} | |
var ($x0, $x1) = (4, 3) | |
var z = $x0 + $x1 | |
z // no error. | |
var x: Double = z // expected-error {{cannot convert value of type 'Int' to specified type 'Double'}} |