Skip to content

regression: opaque types got hidden types registered from within subtype predicate #125192

Closed
@BoxyUwU

Description

@BoxyUwU
[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

Metadata

Metadata

Assignees

Labels

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️P-criticalCritical priorityT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.regression-from-stable-to-betaPerformance or correctness regression from stable to beta.

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions