src/test/ui/associated-types/issue-91069.rs

   1 // check-pass
   2
   3 pub trait Associate {
   4     type Associated;
   5 }
   6
   7 pub struct Wrap<'a> {
   8     pub field: &'a i32,
   9 }
  10
  11 pub trait Create<T> {
  12     fn create() -> Self;
  13 }
  14
  15 pub fn oh_no<'a, T>()
  16 where
  17     Wrap<'a>: Associate,
  18     <Wrap<'a> as Associate>::Associated: Create<T>,
  19 {
  20     <Wrap<'a> as Associate>::Associated::create();
  21 }
  22
  23
  24 pub fn main() {}