Skip to content

ICE: not enough bound vars #132059

Open
Open
@matthiaskrgr

Description

auto-reduced (treereduce-rust):

trait IntFactory {
    fn stream(&self) -> impl IntFactory<stream(): Send>;
}

original:

#![feature(return_position_impl_trait_in_trait, return_type_notation)]

trait IntFactory {
    fn stream(&self) -> impl IntFactory<stream(): Send>;
}
trait SendIntFactory: IntFactory<stream(): Send> + Send {}

Version information

rustc 1.84.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.84.0-dev
LLVM version: 19.1.1

Command:
/home/gh-matthiaskrgr/.rustup/toolchains/local-debug-assertions/bin/rustc

@rustbot label +F-return_position_impl_trait_in_trait +F-return_type_notation

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.F-return_position_impl_trait_in_trait`#![feature(return_position_impl_trait_in_trait)]`F-return_type_notation`#[feature(return_type_notation)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueT-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