src/test/ui/issues/issue-34839.rs

   1 // compile-pass
   2 // skip-codegen
   3 #![allow(dead_code)]
   4
   5 trait RegularExpression: Sized {
   6     type Text;
   7 }
   8
   9 struct ExecNoSyncStr<'a>(&'a u8);
  10
  11 impl<'c> RegularExpression for ExecNoSyncStr<'c> {
  12     type Text = u8;
  13 }
  14
  15 struct FindCaptures<'t, R>(&'t R::Text) where R: RegularExpression, R::Text: 't;
  16
  17 enum FindCapturesInner<'r, 't> {
  18     Dynamic(FindCaptures<'t, ExecNoSyncStr<'r>>),
  19 }
  20
  21
  22 fn main() {}