Skip to content

ICE: expected binder to have 2 projections, but it has 1 #137706

Closed
@matthiaskrgr

Description

@matthiaskrgr

auto-reduced (treereduce-rust):

trait A {
    fn b() -> impl IntoIterator<Item = ()>;
}

impl A<()> for dyn A {}

original:

trait A {
    fn b() -> impl IntoIterator<Item = ()>;
}

impl A<()> for dyn A {}

pub fn main() {}

Version information

rustc 1.87.0-dev
binary: rustc
commit-hash: 85abb276361c424d64743c0965242dd0e7b866d1
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.87.0-dev
LLVM version: 20.1.0

Metadata

Metadata

Labels

A-dyn-traitArea: trait objects, vtable layoutC-bugCategory: This is a bug.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.requires-debug-assertionsThis issue requires a build of rustc or tooling with debug-assertions in some way

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions