error[E0599]: the function or associated item `f` exists for struct `Foo<()>`, but its trait bounds were not satisfied --> $DIR/issue-108132-unmet-trait-alias-bound-on-generic-impl.rs:14:16 | LL | struct Foo(I); | ------------- function or associated item `f` not found for this struct ... LL | Foo::<()>::f() | ^ function or associated item cannot be called on `Foo<()>` due to unsatisfied trait bounds | note: trait bound `(): Iterator` was not satisfied --> $DIR/issue-108132-unmet-trait-alias-bound-on-generic-impl.rs:5:23 | LL | trait IteratorAlias = Iterator; | ------------- ^^^^^^^^ unsatisfied trait bound introduced here note: trait bound `(): IteratorAlias` was not satisfied --> $DIR/issue-108132-unmet-trait-alias-bound-on-generic-impl.rs:9:9 | LL | impl Foo { | ^^^^^^^^^^^^^ ------ | | | unsatisfied trait bound introduced here error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0599`.