<!-- ICE: Rustc ./a.rs '-Zincremental-verify-ich=yes -Cincremental=<dir> -Cdebuginfo=2 -Clink-dead-code=true -Zvalidate-mir --edition=2021' 'assertion `left == right` failed ' left: BrNamed(DefId(0:5 ~ a[221d]::hello::{closure#0}::'a), 'a)' ' right: BrNamed(DefId(0:11 ~ a[221d]::hello::'_), '_)'', 'assertion `left == right` failed ' left: BrNamed(DefId(0:5 ~ a[221d]::hello::{closure#0}::'a), 'a)' ' right: BrNamed(DefId(0:11 ~ a[221d]::hello::'_), '_)'' File: /home/gh-matthiaskrgr/tmp/2/a.rs --> auto-reduced (treereduce-rust): ````rust fn hello(x: &Ty) { let _ = for<'a> |x: &u8| -> &'a () { x }; } struct Ty; fn A() {} ```` original: ````rust #![feature(async_closure)] fn hello(x: &Ty) { let _ = for<'a> |x: &u8| -> &'a () { x }; } struct Ty; impl Ty { fn hello(&self) {} } fn A() {} ```` Version information ```` rustc 1.83.0-dev binary: rustc commit-hash: unknown commit-date: unknown host: x86_64-unknown-linux-gnu release: 1.83.0-dev LLVM version: 19.1.0 ```` <!-- query stack: note: compiler flags: -Z incremental-verify-ich=yes -C incremental=[REDACTED] -C debuginfo=2 -C link-dead-code=true -Z validate-mir #0 [typeck] type-checking `hello` #1 [analysis] running analysis passes on this crate -->
Activity
matthiaskrgr commentedon Sep 21, 2024
Command:
/home/gh-matthiaskrgr/.rustup/toolchains/local-debug-assertions/bin/rustc -Zincremental-verify-ich=yes -Cincremental=<dir> -Cdebuginfo=2 -Clink-dead-code=true -Zvalidate-mir --edition=2021Program output
compiler-errors commentedon Sep 21, 2024
This has nothing to do with async closures?
compiler-errors commentedon Sep 21, 2024
I'm sensing a notable lack of the
asynckeyword anywhere in this example...@rustbot label: -F-async_closure
[-]ICE: async closure: BrNamed != BrNamed[/-][+]ICE: closure_lifetime_binder: BrNamed != BrNamed[/+]Rollup merge of rust-lang#130879 - fmease:fix-diag-ice, r=compiler-er…
Rollup merge of rust-lang#130879 - fmease:fix-diag-ice, r=compiler-er…
Rollup merge of rust-lang#130879 - fmease:fix-diag-ice, r=compiler-er…
Unrolled build for rust-lang#130879