// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// Inferred type should be `int`
var x = (() => 1)();

main() {
  /*@compile-error=unspecified*/ x = 'bad'; // `String` not assignable to `int`
}