blob: baed070a846fff999048225028fd2956ce06b54f [file] [log] [blame]
// 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.
/*member: foo:[exact=JSBool]*/
foo(/*[exact=JSUInt31]*/ x) {
if (x /*invoke: [exact=JSUInt31]*/ > 3) return true;
return false;
}
/*member: bar:[null]*/
bar(/*[exact=JSBool]*/ x) {
if (x) {
print("aaa");
} else {
print("bbb");
}
}
/*member: main:[null]*/ main() {
bar(foo(5));
bar(foo(6));
}