blob: 49238e5e88be4ab3271ad9b2b7e344f154fb15f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// ignore-tidy-linelength
#![feature(no_core)]
#![no_core]
// @!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 {}
|