src/test/ui/traits/issue-97695-double-trivial-bound.rs

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