### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[error] <...>/coercion-fail.hlt:9:14-13:32: cannot coerce expression '256' of type 'uint<64>' to type 'uint<8>'
[error] <...>/coercion-fail.hlt:13:32-14:34: cannot coerce expression '65536' of type 'uint<64>' to type 'uint<16>'
[error] <...>/coercion-fail.hlt:14:34-15:38: cannot coerce expression '4294967296' of type 'uint<64>' to type 'uint<32>'
[error] <...>/coercion-fail.hlt:15:38-19:29: cannot coerce expression '-1' of type 'int<64>' to type 'uint<8>'
[error] <...>/coercion-fail.hlt:19:29-20:29: cannot coerce expression '-1' of type 'int<64>' to type 'uint<16>'
[error] <...>/coercion-fail.hlt:20:29-21:29: cannot coerce expression '-1' of type 'int<64>' to type 'uint<32>'
[error] <...>/coercion-fail.hlt:21:29-22:29: cannot coerce expression '-1' of type 'int<64>' to type 'uint<64>'
[error] <...>/coercion-fail.hlt:22:29-24:29: cannot coerce expression '128' of type 'uint<64>' to type 'int<8>'
[error] <...>/coercion-fail.hlt:24:29-25:29: cannot coerce expression '-129' of type 'int<64>' to type 'int<8>'
[error] <...>/coercion-fail.hlt:25:29-27:33: cannot coerce expression '32768' of type 'uint<64>' to type 'int<16>'
[error] <...>/coercion-fail.hlt:27:33-28:33: cannot coerce expression '-32769' of type 'int<64>' to type 'int<16>'
[error] <...>/coercion-fail.hlt:28:33-30:37: cannot coerce expression '2147483648' of type 'uint<64>' to type 'int<32>'
[error] <...>/coercion-fail.hlt:30:37-31:37: cannot coerce expression '-2147483649' of type 'int<64>' to type 'int<32>'
[error] <...>/coercion-fail.hlt:31:37-33:46: cannot coerce expression '9223372036854775808' of type 'uint<64>' to type 'int<64>'
[error] <...>/coercion-fail.hlt:33:46-39:46: cannot coerce expression '9007199254740993' of type 'uint<64>' to type 'real'
[error] <...>/coercion-fail.hlt:39:46-40:47: cannot coerce expression '-9007199254740993' of type 'int<64>' to type 'real'
[error] <...>/coercion-fail.hlt:42:23-44:19: cannot coerce expression 'Foo::i' of type 'int<32>' to type 'bool'
[error] hiltic: aborting after errors
