Stream: wasmtime

Topic: anyhow and downcasts

Dan Gohman (May 01 2020 at 16:50):

[crates/api/src/error.rs:25] &e = Trap {
    message: "test 123",
    wasm_trace: [
...
[crates/api/src/error.rs:26] e.is::<Trap>() = false

Dan Gohman (May 01 2020 at 16:50):

Anyone know of ways an anyhow::Error doesn't want to be what it seems to be?

Alex Crichton (May 01 2020 at 17:01):

@Dan Gohman there's a weird difference in the downcasting methods

Alex Crichton (May 01 2020 at 17:01):

Error::downcast_ref is different from <Error as Any>::downcast_ref

Alex Crichton (May 01 2020 at 17:01):

the former recursively checks the whole chain while the latter only checks the top-most error

Alex Crichton (May 01 2020 at 17:02):

it looks like Error::is isn't defined, it's <Error as Any>::is, which I think means it's not checking the whole chain

Alex Crichton (May 01 2020 at 17:02):

so it may be that a Trap has some extra context attached to it

Alex Crichton (May 01 2020 at 17:02):

so the underlying trap is still there but the top-level type isn't Trap

Alex Crichton (May 01 2020 at 17:03):

e.downcast_ref::<Trap>().is_some() in theory should be true

Alex Crichton (May 01 2020 at 17:03):

er I could also be totally wrong, just misread the docs

Alex Crichton (May 01 2020 at 17:03):

Error::is is indeed a thing...

Alex Crichton (May 01 2020 at 17:04):

hm got some code to poke around in?

Dan Gohman (May 01 2020 at 17:38):

@Alex Crichton I have a branch here: https://github.com/sunfishcode/wasmtime/tree/sunfishcode/exit-unwind

Dan Gohman (May 01 2020 at 17:38):

it's wip, and not complete, but cargo test test_trap_return fails and I'm trying to determine why

Dan Gohman (May 01 2020 at 17:39):

See the dbg's in crates/api/src/error.rs

Alex Crichton (May 01 2020 at 17:40):

oh Trap::User isn't an anyhow::Error

Alex Crichton (May 01 2020 at 17:40):

it's a dyn std::error::Error

Dan Gohman (May 01 2020 at 17:41):

yeah, so we downcast the std::error::Error to get the Trap out, and then stick it in a anyhow::Error

Dan Gohman (May 01 2020 at 17:42):

and that Error no longer claims to be is::<Trap>()

Alex Crichton (May 01 2020 at 17:42):

poking around, where's this error constructed?

Alex Crichton (May 01 2020 at 17:43):

oh

Dan Gohman (May 01 2020 at 17:43):

I believe it ultimately comes from catch_traps

Alex Crichton (May 01 2020 at 17:44):

this is b/c the return type of closuers changed

Alex Crichton (May 01 2020 at 17:44):

from Trap to anyhow::Error

Alex Crichton (May 01 2020 at 17:45):

so the Trap::User(..) now is always anyhow::Error under the hood

Alex Crichton (May 01 2020 at 17:45):

so to downcast that you'd have to downcast to anyhow::Error first

Alex Crichton (May 01 2020 at 17:45):

for a patch like this you'd probably want to replace Trap::User's payload with anyhow::Error

Alex Crichton (May 01 2020 at 17:45):

not really much reason in trying to be so general

Alex Crichton (May 01 2020 at 17:45):

with std::error::Error

Dan Gohman (May 01 2020 at 17:46):

Ok, makes sense

Last updated: Nov 22 2024 at 16:03 UTC