]>
Commit | Line | Data |
---|---|---|
c295e0f8 XL |
1 | #![feature(never_type)] |
2 | ||
f2b60f7d FG |
3 | // @is "$.index[*][?(@.name=='PrimNever')].visibility" \"public\" |
4 | // @is "$.index[*][?(@.name=='PrimNever')].inner.type.kind" \"primitive\" | |
5 | // @is "$.index[*][?(@.name=='PrimNever')].inner.type.inner" \"never\" | |
c295e0f8 XL |
6 | pub type PrimNever = !; |
7 | ||
f2b60f7d FG |
8 | // @is "$.index[*][?(@.name=='PrimStr')].inner.type.kind" \"primitive\" |
9 | // @is "$.index[*][?(@.name=='PrimStr')].inner.type.inner" \"str\" | |
c295e0f8 XL |
10 | pub type PrimStr = str; |
11 | ||
f2b60f7d FG |
12 | // @is "$.index[*][?(@.name=='PrimBool')].inner.type.kind" \"primitive\" |
13 | // @is "$.index[*][?(@.name=='PrimBool')].inner.type.inner" \"bool\" | |
c295e0f8 XL |
14 | pub type PrimBool = bool; |
15 | ||
f2b60f7d FG |
16 | // @is "$.index[*][?(@.name=='PrimChar')].inner.type.kind" \"primitive\" |
17 | // @is "$.index[*][?(@.name=='PrimChar')].inner.type.inner" \"char\" | |
c295e0f8 XL |
18 | pub type PrimChar = char; |
19 | ||
f2b60f7d FG |
20 | // @is "$.index[*][?(@.name=='PrimU8')].inner.type.kind" \"primitive\" |
21 | // @is "$.index[*][?(@.name=='PrimU8')].inner.type.inner" \"u8\" | |
c295e0f8 | 22 | pub type PrimU8 = u8; |