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

// 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
}