summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/alias/wf.rs
blob: d10e2abb0e1a39b40a6d3364572c7221a84ea5db (plain)
1
2
3
4
5
6
7
#![feature(trait_alias)]

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

fn main() {}