wtf... how does

fn foo() -> Result<String, ()> {
    Err(())?
}

compile?! I can only guess that it defaults the Ok type of the Result to !, there's no other explanation I can come up with. (Also Result::<String, ()>::Err(())? errors).

@bors r+

📌 Commit a39875b has been approved by oli-obk

@bors r-
Waiting until tmr to make sure we get a nightly with Miri.

@oli-obk wrote:

how does [Err(())?] compile?!

Result::<Result<String, ()>, ()>::Err(())? works, so I'm guessing it infers that the unwrapped Ok variant would have the type of the return value.

@bors r=oli-obk

📌 Commit a39875b has been approved by oli-obk

Here we fix that. For some reason that means we also have to remove some ;.

If you change the macro to Err::<!, _>(...)? then the compiler will be able to see that it doesn't return.

@goffrie ah, that makes sense! I added that type annotation, and checked that then I could re-add the semicolons.

However, I kept the part that removes them here, matching (I think) the usual Rust policy for trailing expressions.

@bors r=oli-obk

📌 Commit e46b3c2 has been approved by oli-obk