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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// 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() //~ trait bounds were not satisfied
}