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