//@ edition:2015..2021
// Regression test of #43913.

//@ run-rustfix

#![feature(trait_alias)]
#![allow(bare_trait_objects, dead_code)]

trait Strings = Iterator<Item=String>;

struct Struct<S: Strings>(S);
//~^ ERROR: expected trait, found type alias `Strings`

fn main() {}
