1 // check-pass 2 pub trait Backend { 3 type DescriptorSetLayout; 4 } 5 6 pub struct Back; 7 8 impl Backend for Back { 9 type DescriptorSetLayout = u32; 10 } 11 12 pub struct HalSetLayouts { 13 vertex_layout: <Back as Backend>::DescriptorSetLayout, 14 } 15 16 impl HalSetLayouts { iter<DSL>(self) -> DSL where Back: Backend<DescriptorSetLayout = DSL>,17 pub fn iter<DSL>(self) -> DSL 18 where 19 Back: Backend<DescriptorSetLayout = DSL>, 20 { 21 self.vertex_layout 22 } 23 } 24 main()25fn main() {} 26