struct A</* a */'a, /* b */'b, /* c */'c> where 'a: 'b + 'c {}