3 // @has impl.json "$.index[*][?(@.name=='Ux')].visibility" \"public\"
4 // @has - "$.index[*][?(@.name=='Ux')].kind" \"union\"
10 // @has - "$.index[*][?(@.name=='Num')].visibility" \"public\"
11 // @has - "$.index[*][?(@.name=='Num')].kind" \"trait\"
14 // @count - "$.index[*][?(@.name=='Ux')].inner.impls" 1