tests/ui/higher-rank-trait-bounds/issue-88586-hr-self-outlives-in-trait-def.rs

   1 // Regression test for #88586: a higher-ranked outlives bound on Self in a trait
   2 // definition caused an ICE when debug_assertions were enabled.
   3 //
   4 // Made to pass as part of fixing #98095.
   5 //
   6 // check-pass
   7
   8 trait A where
   9     for<'a> Self: 'a,
  10 {
  11 }
  12
  13 fn main() {}