Closed
Description
[...]
error[E0308]: mismatched types
--> /Users/bjorn/.cargo/git/checkouts/miri-f9dcdd0c0ec69fb1/9143a69/src/fn_call.rs:202:83
|
202 | let ptr = self.memory.allocate(Size::from_bytes(size), align, Some(MemoryKind::C.into()))?;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `rustc_mir::interpret::MemoryKind`, found enum `std::option::Option`
|
= note: expected type `rustc_mir::interpret::MemoryKind<memory::MemoryKind>`
found type `std::option::Option<_>`
error[E0308]: mismatched types===============================> ] 122/137: serde, hyper, serde_derive, miri, ring
--> /Users/bjorn/.cargo/git/checkouts/miri-f9dcdd0c0ec69fb1/9143a69/src/fn_call.rs:398:25
|
398 | Some(MemoryKind::Env.into()),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `rustc_mir::interpret::MemoryKind`, found enum `std::option::Option`
|
= note: expected type `rustc_mir::interpret::MemoryKind<memory::MemoryKind>`
found type `std::option::Option<_>`
error[E0308]: mismatched types===============================> ] 122/137: serde, hyper, serde_derive, miri, ring
--> /Users/bjorn/.cargo/git/checkouts/miri-f9dcdd0c0ec69fb1/9143a69/src/fn_call.rs:659:48
|
659 | Some(MemoryKind::Rust.into()))?;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `rustc_mir::interpret::MemoryKind`, found enum `std::option::Option`
|
= note: expected type `rustc_mir::interpret::MemoryKind<memory::MemoryKind>`
found type `std::option::Option<_>`
error[E0308]: mismatched types================================> ] 123/137: serde, hyper, serde_derive, miri, ring
--> /Users/bjorn/.cargo/git/checkouts/miri-f9dcdd0c0ec69fb1/9143a69/src/fn_call.rs:673:48
|
673 | Some(MemoryKind::Rust.into()))?;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected enum `rustc_mir::interpret::MemoryKind`, found enum `std::option::Option`
|
= note: expected type `rustc_mir::interpret::MemoryKind<memory::MemoryKind>`
found type `std::option::Option<_>`
Compiling toml v0.4.6
Compiling bincode v1.0.1
error: aborting due to 9 previous errors======================> ] 124/137: hyper, serde_derive, miri, ring, toml, bincode
Metadata
Metadata
Assignees
Labels
No labels