tests/ui/mir/issue-99866.rs

   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 {
  17     pub fn iter<DSL>(self) -> DSL
  18     where
  19         Back: Backend<DescriptorSetLayout = DSL>,
  20     {
  21         self.vertex_layout
  22     }
  23 }
  24
  25 fn main() {}