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

   1 // build-pass (FIXME(62277): could be check-pass?)
   2 #![allow(dead_code)]
   3 use std::marker::PhantomData;
   4
   5 pub struct UnionedKeys<'a,K>
   6     where K: UnifyKey + 'a
   7 {
   8     table: &'a mut UnificationTable<K>,
   9     root_key: K,
  10     stack: Vec<K>,
  11 }
  12
  13 pub trait UnifyKey {
  14     type Value;
  15 }
  16
  17 pub struct UnificationTable<K:UnifyKey> {
  18     values: Delegate<K>,
  19 }
  20
  21 pub struct Delegate<K>(PhantomData<K>);
  22
  23 fn main() {}