// Copyright (c) 2015, 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";

@AssumeDynamic() @NoInline()
foo() => 1;

@AssumeDynamic() @NoInline()
throwException() => throw 'x';

main() {
	var x = 10;
	var e2 = null;
	try {
		var t = foo();
		throwException();
		print(t);
		x = 3;
	} catch(e) {
		Expect.equals(10, x);
		e2 = e;
	}
	Expect.equals(10, x);
	Expect.equals('x', e2);
}