error[E0277]: refutable pattern without `throw` is only supported for `Option` in `hdo!`
--> tests/ui/fail/list_refutable_pattern.rs:5:20
|
4 | let _: Vec<i32> = hdo! {
| _______________________-
5 | | Some(x) <- vec![Some(1), None];
| | ^^^^^^^^^^^^^^^^^^^ this bind needs an explicit failure value
6 | |
7 | | pure x
8 | | };
| |_____- required by a bound introduced by this call
|
= help: the trait `raskell::__private::HdoPatternBind<_>` is not implemented for `Vec<Option<{integer}>>`
= note: for `Result`, use `pattern <- expression throw YourError;`