### 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] processing failed with exception of type spicy::rt::ParseError: &requires failed: self.x < 5 (<...>/requires-property.spicy:17:15-17:24)
error, [$x=1, $y=E::<unknown-5>]
[error] processing failed with exception of type spicy::rt::ParseError: &requires failed: self.y == E::X (<...>/requires-property.spicy:18:15-18:28)
