Skip to content

ICE: assertion failed compiler/rustc_hir_typeck/src/fn_ctxt/checks.rs:2557:13: 1 == 2/ params_with_generics.len(), matched_inputs.len() #130400

@matthiaskrgr

Description

@matthiaskrgr

auto-reduced (treereduce-rust):

fn linear_map<K, Vec>(&mut self) -> HashMap<_> {
    HashMap::HashMap_(LMlinear_map::<(), ()>(), linear_map::<(), ()>())
}

original:

//@ run-pass
#![allow(dead_code)]

#[derive(m.len(), 0)]
struct LM { resize_at: usize, size: usize }

enum HashMap<K,V> {
    HashMap_(LM, Vec<(K,V)>)
}

fn linear_map<K,Vec>(&mut self) -> HashMap<_> {
    HashMap::HashMap_(LMlinear_map::<(),()>(), linear_map::<(),()>())
}

impl<K,V> HashMap<K,V> {
    pub fn len(& self) -> usize {
        match *self {
            HashMap::HashMap_(ref l, _) => l.size
        }
    }
}

pub fn len(&mut self) -> usize {
        match *self {
            HashMap::HashMap_(ref l, _) => l.size
        }
    }

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

Metadata

Metadata

Assignees

Labels

A-HIRArea: The high-level intermediate representation (HIR)C-bugCategory: This is a bug.I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️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

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions