ICE: expect >1 RPITITs in call to 'collect_return_position_impl_trait_in_trait_tys' #121468
Description
auto-reduced (treereduce-rust):
struct Wrapper<'rom>(T);
trait Foo {
fn bar() -> Wrapper<impl Sized>;
}
impl Foo for () {
fn bar() -> i32 {
0
}
}
original:
struct Wrapper<'rom>(T);
trait Foo {
fn bar() -> Wrapper<impl Sized>;
}
impl Foo for () {
fn bar() -> i32 {
//~^ ERROR method `bar` has an incompatible return type for trait
0
}
}
fn main() {}Version information
rustc 1.78.0-dev
binary: rustc
commit-hash: unknown
commit-date: unknown
host: x86_64-unknown-linux-gnu
release: 1.78.0-dev
LLVM version: 18.1.0
Command:
/home/matthias/.rustup/toolchains/local-debug-assertions/bin/rustc
Metadata
Metadata
Assignees
Labels
Category: This is a bug.`#![feature(return_position_impl_trait_in_trait)]`Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Status: A Minimal Complete and Verifiable Example has been found for this issueRelevant 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 way