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.