Would be nice to have something like #[should_panic] for test

[ariady-putra]

For example to test functions containing expect but did not pass the expectation,

fn fnn() -> Bool {
  expect Some(x): Option<Bool> = None
  x
}

test xxx() {
  fnn()
}

currently it's aiken::fatal::error

A new test keyword so it won't mess with the existing one is also acceptable, maybe like test_panic or something like that

[rvcas]

you can already with

!test name()

[ariady-putra]

Oh! I didn't know that, very nice!

[KtorZ]

Because it's not documented 🙈. Will add a quick line on the user manual and close the discussion.

[rvcas]

@KtorZ I left it undocumented so that it doesn't get used often and it gives us time to rethink the syntax. I already had something in mind that plays well with pure

[KtorZ]

Well, we'll adjust the documentation in due time then 🙃

[rvcas]

I'm good either way just wanted to leave that comment there so people know.