### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[error] <...>/params-fail.spicy:15:5: type parameter 1 is missing (b)
[error] <...>/params-fail.spicy:15:5: type parameter 2 is missing (s)
[error] spicyc: aborting after errors
