1 #![feature(never_type)]
3 // @has "$.index[*][?(@.name=='PrimNever')].visibility" \"public\"
4 // @has "$.index[*][?(@.name=='PrimNever')].inner.type.kind" \"primitive\"
5 // @has "$.index[*][?(@.name=='PrimNever')].inner.type.inner" \"never\"
6 pub type PrimNever = !;
8 // @has "$.index[*][?(@.name=='PrimStr')].inner.type.kind" \"primitive\"
9 // @has "$.index[*][?(@.name=='PrimStr')].inner.type.inner" \"str\"
10 pub type PrimStr = str;
12 // @has "$.index[*][?(@.name=='PrimBool')].inner.type.kind" \"primitive\"
13 // @has "$.index[*][?(@.name=='PrimBool')].inner.type.inner" \"bool\"
14 pub type PrimBool = bool;
16 // @has "$.index[*][?(@.name=='PrimChar')].inner.type.kind" \"primitive\"
17 // @has "$.index[*][?(@.name=='PrimChar')].inner.type.inner" \"char\"
18 pub type PrimChar = char;
20 // @has "$.index[*][?(@.name=='PrimU8')].inner.type.kind" \"primitive\"
21 // @has "$.index[*][?(@.name=='PrimU8')].inner.type.inner" \"u8\"