| //@ set t1 = '$.index[?(@.name=="T1")].id' | |
| pub trait T1 {} | |
| //@ set t2 = '$.index[?(@.name=="T2")].id' | |
| pub trait T2 {} | |
| /// Fun impl | |
| impl T1 for dyn T2 {} | |
| //@ set impl = '$.index[?(@.docs=="Fun impl")].id' | |
| //@ is '$.index[?(@.name=="T1")].inner.trait.implementations[*]' $impl | |
| //@ is '$.index[?(@.name=="T2")].inner.trait.implementations' [] | |
| //@ is '$.index[?(@.docs=="Fun impl")].inner.impl.trait.id' $t1 | |
| //@ is '$.index[?(@.docs=="Fun impl")].inner.impl.for.dyn_trait.traits[*].trait.id' $t2 |