------------ foo ------------

RESULT: _T {}?
------------ bar ------------

RESULT: _T (dart.core::bool, false)
------------ bool_expressions ------------
t0* = _Call direct [#lib::foo] ()
t1 = _TypeCheck (t0 against dart.core::bool) (for #lib::foo() as dart.core::bool)
t2* = _Call direct [#lib::bar] ()
t3* = _Call [dart.core::num.+] (_T (dart.core::int)+, _T (dart.core::_Smi, 1))
i_0 = _Join [dart.core::int] (_T (dart.core::_Smi, 0), t3)
t5* = _Call [dart.core::num.<] (i_0, _T (dart.core::_Smi, 10))
t6* = _Call direct [#lib::bar] ()
t7 = _TypeCheck (t6 against dart.core::bool) (for x is dart.core::bool)
t8* = _Call direct [#lib::foo] ()
t9 = _Join [dynamic] (_T (dart.core::bool, true), t8)
t10 = _TypeCheck (t9 against dart.core::bool) (for (x ?{dynamic} true : #lib::foo()) as dart.core::bool)
t11* = _Call direct [#lib::bar] ()
t12* = _Call direct [#lib::bar] ()
t13* = _Call direct [#lib::foo] ()
t14 = _TypeCheck (t13 against dart.core::bool) (for #lib::foo() as dart.core::bool)
t15* = _Call direct [#lib::foo] ()
t16 = _TypeCheck (t15 against dart.core::bool) (for #lib::foo() as dart.core::bool)
y_0 = _Join [dart.core::bool] (_T (dart.core::bool), _T (dart.core::bool, true))
RESULT: _T {}?
------------ main ------------

RESULT: _T {}?