Files
rust/tests/ui/traits/self-referential-param-env-normalization.rs
Takayuki Maeda d29c489599 add self-referential param-env normalization regression
avoid ICE on invalid param-env normalization

remove 120033 crash test

fix comments

use rustc_no_implicit_bounds

set #![allow(incomplete_features)]
2026-03-30 22:50:31 +09:00

19 lines
535 B
Rust

//~ ERROR overflow evaluating the requirement `Self: StreamingIterator<'_>` [E0275]
// Regression test for <https://github.com/rust-lang/rust/issues/153354>.
trait StreamingIterator<'a> {
type Item: 'a;
}
impl<'b, I, T> StreamingIterator<'b> for I
//~^ ERROR the type parameter `T` is not constrained by the impl trait, self type, or predicates [E0207]
where
I: IntoIterator,
T: FnMut(Self::Item, I::Item),
{
type Item = T;
//~^ ERROR overflow evaluating the requirement `I: IntoIterator` [E0275]
}
fn main() {}