### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
success, [$x=1, $y=E::X]
error, [$x=5, $y=E::X]
[error] terminating with uncaught exception of type spicy::rt::ParseError: &requires failed (<...>/requires-property.spicy:17:15)
error, [$x=1, $y=E::<unknown-5>]
[error] terminating with uncaught exception of type spicy::rt::ParseError: &requires failed (<...>/requires-property.spicy:18:15)
