1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
//@ check-pass
pub struct LookupInternedStorage;
impl<Q> QueryStorageOps<Q> for LookupInternedStorage
where
Q: Query,
for<'d> Q: QueryDb<'d>,
{
fn fmt_index(&self, db: &<Q as QueryDb<'_>>::DynDb) {
<<Q as QueryDb<'_>>::DynDb as HasQueryGroup<Q::Group>>::group_storage(db);
}
}
pub trait HasQueryGroup<G> {
fn group_storage(&self);
}
pub trait QueryStorageOps<Q>
where
Q: Query,
{
fn fmt_index(&self, db: &<Q as QueryDb<'_>>::DynDb);
}
pub trait QueryDb<'d> {
type DynDb: HasQueryGroup<Self::Group> + 'd;
type Group;
}
pub trait Query: for<'d> QueryDb<'d> {}
fn main() {}
|
