Sign in
dart
/
sdk.git
/
c612cd31c1510262dea2719b0629dd82f8606881
/
.
/
tests
/
compiler
/
dart2js
/
cps_ir
/
input
/
argument_refinement_4.dart
blob: 958363ad988407f1beeb0eea1761d45a127f6c60 [
file
] [
log
] [
blame
]
main
()
{
var
x
=
int
.
parse
(
'1233'
);
var
y
=
int
.
parse
(
'1234'
);
print
(
x
is
num
);
print
(
y
is
num
);
print
(
x
~/
y
);
print
(
x
is
num
);
print
(
y
is
num
);
// will be compiled to `true` if we know the type of `y`.
}