// Copyright (c) 2013, 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.

import 'package:expect/expect.dart';
import "package:async_helper/async_helper.dart";
import 'compiler_helper.dart';

const String TEST1 = r"""
main() {
  var a = 52;
  var f = () => a + 87;
  f();
}
""";

const String TEST2 = r"""
main() {
  var a = 52;
  var g = () { a = 48; };
  var f = () => a + 87;
  f();
  g();
}
""";

const String TEST3 = r"""
main() {
  var a = 52;
  var g = () { a = 'foo'; };
  var f = () => a + 87;
  f();
  g();
}
""";

main() {
  // Test that we know the type of captured, non-mutated variables.
  asyncTest(() => compileAll(TEST1).then((generated) {
        Expect.isTrue(generated.contains('+ 87'));
      }));

  // Test that we know the type of captured, mutated variables.
  asyncTest(() => compileAll(TEST2).then((generated) {
        Expect.isTrue(generated.contains('+ 87'));
      }));

  // Test that we know when types of a captured, mutated variable
  // conflict.
  asyncTest(() => compileAll(TEST3).then((generated) {
        Expect.isFalse(generated.contains('+ 87'));
      }));
}