Rollup merge of #100953 - joshtriplett:write-docs, r=Mark-Simulacrum

[rust.git] / src / test / ui / traits / alias / wf.rs

#![feature(trait_alias)]

trait Foo {}
trait A<T: Foo> {}
trait B<T> = A<T>; //~ ERROR `T: Foo` is not satisfied

fn main() {}