tests/ui/traits/issue-59029-2.rs


1
2
3
4
5
6
7
8

//@ check-pass
#![feature(trait_alias)]

trait Svc<Req> { type Res; }

trait MkSvc<Target, Req> = Svc<Target> where <Self as Svc<Target>>::Res: Svc<Req>;

fn main() {}