ICE: expect >1 RPITITs in call to collect_return_position_impl_trait_in_trait_tys #119857
Description
auto-reduced (treereduce-rust):
pub trait Iter {
type Item<'a>: 'a;
fn next<'a>(&'a mut self) -> Option<Self::Item<As1: Copy>>;
}
pub struct Windows<T> {}
impl<T> Iter for Windows<T> {
type Item<'a> = &'a mut [T];
fn next<'a>(&'a mut self) -> Option<Self::Item<'a>> {}
}
original:
pub trait Iter {
type Item<'a>
where
Self: 'a;
fn next<'a>(&'a mut self) -> Option<Self::Item<As1: Copy>>;
}
pub struct Windows<T> {}
impl<T> Iter for Windows<T> {
type Item<'a> = &'a mut [T];
fn next<'a>(&'a mut self) -> Option<Self::Item<'a>> {}
}Version information
rustc 1.77.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.77.0-dev
LLVM version: 17.0.6
Metadata
Metadata
Assignees
Labels
Category: This is a bug.`#![feature(associated_type_bounds)]`Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Relevant to the compiler team, which will review and decide on the PR/issue.This issue requires a build of rustc or tooling with debug-assertions in some wayThis issue requires a nightly compiler in some way.