tests/ui/traits/alias/issue-108072-unmet-trait-alias-bound.rs


1
2
3
4
5
6
7
8
9
10
11

// Regression test for #108072: do not ICE upon unmet trait alias constraint

#![feature(trait_alias)]

trait IteratorAlias = Iterator;

fn f(_: impl IteratorAlias) {}

fn main() {
    f(()) //~ `()` is not an iterator
}