:arrow_up: rust-analyzer

[rust.git] / src / test / ui / traits / issue-59029-2.rs

// run-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() {}