thalesfragoso[m]: yes, I believe the compiler will treat those matches as truly infallible, e.g. you can write something like:

```rust
// note, NOT 'if let'
let Ok(res) = func_return_infallible();
```