tests/ui/traits/alias/issue-108132-unmet-trait-alias-bound-on-generic-impl.rs

// Regression test for #108132: do not ICE upon unmet trait alias constraint in generic impl

#![feature(trait_alias)]

trait IteratorAlias = Iterator;

struct Foo<I>(I);

impl<I: IteratorAlias> Foo<I> {
    fn f() {}
}

fn main() {
    Foo::<()>::f() //~ ERROR trait bounds were not satisfied
}