15 lines
496 B
Rust
15 lines
496 B
Rust
//@ 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
|