src/test/ui/traits/issue-90195-2.rs

   1 // check-pass
   2 pub trait Archive {
   3     type Archived;
   4 }
   5
   6 impl<T> Archive for Option<T> {
   7     type Archived = ();
   8 }
   9 pub type Archived<T> = <T as Archive>::Archived;
  10
  11 pub trait Deserialize<D> {}
  12
  13 const ARRAY_SIZE: usize = 32;
  14 impl<__D> Deserialize<__D> for ()
  15 where
  16     Option<[u8; ARRAY_SIZE]>: Archive,
  17     Archived<Option<[u8; ARRAY_SIZE]>>: Deserialize<__D>,
  18 {
  19 }
  20 fn main() {}