Skip to content

ICE on Miri: vtable not supported on type Pin<&mut dyn futures::Future<Output = i32>> #80645

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
p0lunin opened this issue Jan 3, 2021 · 1 comment
Labels
A-miri Area: The miri tool C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@p0lunin
Copy link

p0lunin commented Jan 3, 2021

Code

https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=8b530e4722f0d660d0f5d8f2455b598d

Tools -> Miri

Meta

-note: rustc 1.51.0-nightly (fde692739 2021-01-02) running on x86_64-unknown-linux-gnu
note: compiler flags: -Z miri-disable-isolation -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 --crate-type bin

Error output

error: internal compiler error: /rustc/fde692739576089729885b7f79aa2232cb9778c5/compiler/rustc_mir/src/interpret/place.rs:224:18: vtable not supported on type std::pin::Pin<&mut dyn futures::Future<Output = i32>>

thread 'rustc' panicked at 'Box<Any>', compiler/rustc_errors/src/lib.rs:958:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: rustc 1.51.0-nightly (fde692739 2021-01-02) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z miri-disable-isolation -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 --crate-type bin

note: some of the compiler flags provided by cargo are hidden

query stack during panic:
end of query stack
error: aborting due to previous error
@p0lunin p0lunin added C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jan 3, 2021
@jonas-schievink jonas-schievink added the A-miri Area: The miri tool label Jan 3, 2021
@RalfJung
Copy link
Member

RalfJung commented Jan 3, 2021

Thanks for the report! This is a duplicate of rust-lang/miri#1038.

@RalfJung RalfJung closed this as completed Jan 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-miri Area: The miri tool C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Development

No branches or pull requests

3 participants