Repository navigation
regression: opaque types got hidden types registered from within subtype predicate #125192
Description
- https://crater-reports.s3.amazonaws.com/beta-1.79-2/beta-2024-05-11/reg/smoldot-0.14.0/log.txt
- https://crater-reports.s3.amazonaws.com/beta-1.79-2/beta-2024-05-11/gh/Arstman.smoldot-test/log.txt
- https://crater-reports.s3.amazonaws.com/beta-1.79-2/beta-2024-05-11/gh/DylanVerstraete.smolldot-test/log.txt
- https://crater-reports.s3.amazonaws.com/beta-1.79-2/beta-2024-05-11/gh/sodazone.storage-proofs-poc/log.txt
- https://crater-reports.s3.amazonaws.com/beta-1.79-2/beta-2024-05-11/gh/undefspace.tg-bot/log.txt
- https://crater-reports.s3.amazonaws.com/beta-1.79-2/beta-2024-05-11/reg/subxt-lightclient-0.32.1/log.txt
[INFO] [stderr] thread 'rustc' panicked at compiler/rustc_infer/src/infer/mod.rs:956:17:
[INFO] [stdout] error: internal compiler error: compiler/rustc_infer/src/infer/mod.rs:956:17: opaque types got hidden types registered from within subtype predicate: itertools::Either<Alias(Opaque, AliasTy { args: ['?52, '?14], def_id: DefId(0:28837 ~ smoldot[145d]::header::babe::{impl#3}::scale_encoding::{opaque#0}::{opaque#0}) }), [u8; 4_usize]> vs itertools::Either<Alias(Opaque, AliasTy { args: ['?39, '?14], def_id: DefId(0:28837 ~ smoldot[145d]::header::babe::{impl#3}::scale_encoding::{opaque#0}::{opaque#0}) }), [u8; 4_usize]>
[INFO] [stdout] --> src/header/babe.rs:83:17
[INFO] [stdout] |
[INFO] [stdout] 83 | / iter::once(either::Right(either::Left([1]))).chain(
[INFO] [stdout] 84 | | digest
[INFO] [stdout] 85 | | .scale_encoding()
[INFO] [stdout] 86 | | .map(either::Right)
[INFO] [stdout] 87 | | .map(either::Right),
[INFO] [stdout] 88 | | ),
[INFO] [stdout] | |_________________^
probably #123979 cc @oli-obk @compiler-errors
Reacted by Kevin Valerio
Activity
compiler-errors commentedon May 17, 2024
Yeah Matthias also found #123979. Think it hasn't been fixed b/c oli is on holiday -- I assume he will investigate when he's back next week.
lqd commentedon May 17, 2024
MCVE in #124891
apiraino commentedon May 21, 2024
WG-prioritization assigning priority (Zulip discussion).
I'll mark this as
P-criticalbecause it seems an unintended breaking change and therefore should probably be fixed before entering into stable.@rustbot label -I-prioritize +P-critical
Rollup merge of rust-lang#125489 - oli-obk:revert_stuff_2, r=compiler…
Rollup merge of rust-lang#125489 - oli-obk:revert_stuff_2, r=compiler…
Unrolled build for rust-lang#125489