blob: 67b5a858ab76fa4eade5117d7cfb54f4b7eae2fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// ignore-tidy-linelength
// @!has "$.index[*][?(@.name == 'sealed')]"
mod sealed {
// @set sealed_id = "$.index[*][?(@.name=='Sealed')].id"
pub trait Sealed {}
}
// @count "$.index[*][?(@.name=='Trait')].inner.trait.bounds[*]" 1
// @is "$.index[*][?(@.name=='Trait')].inner.trait.bounds[0].trait_bound.trait.id" $sealed_id
pub trait Trait: sealed::Sealed {}
|