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