blob: 1e11abaecdf551b96126800caea35f462dcd8015 [file] [log] [blame]
//@ !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 {}