Skip to content

Commit 4891aaf

Browse files
committed
Remove special-casing of never primitive in rustdoc-json-types
1 parent 44995f7 commit 4891aaf

File tree

4 files changed

+23
-4
lines changed

4 files changed

+23
-4
lines changed

src/librustdoc/json/conversions.rs

-1
Original file line numberDiff line numberDiff line change
@@ -418,7 +418,6 @@ impl FromWithTcx<clean::Type> for Type {
418418
}
419419
}
420420
Generic(s) => Type::Generic(s.to_string()),
421-
Primitive(clean::PrimitiveType::Never) => Type::Never,
422421
Primitive(p) => Type::Primitive(p.as_sym().to_string()),
423422
BareFunction(f) => Type::FunctionPointer(Box::new((*f).into_tcx(tcx))),
424423
Tuple(t) => Type::Tuple(t.into_iter().map(|x| x.into_tcx(tcx)).collect()),

src/librustdoc/json/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -255,7 +255,7 @@ impl<'tcx> FormatRenderer<'tcx> for JsonRenderer<'tcx> {
255255
)
256256
})
257257
.collect(),
258-
format_version: 8,
258+
format_version: 9,
259259
};
260260
let mut p = self.out_path.clone();
261261
p.push(output.index.get(&output.root).unwrap().name.clone().unwrap());

src/rustdoc-json-types/lib.rs

-2
Original file line numberDiff line numberDiff line change
@@ -388,8 +388,6 @@ pub enum Type {
388388
},
389389
/// `impl TraitA + TraitB + ...`
390390
ImplTrait(Vec<GenericBound>),
391-
/// `!`
392-
Never,
393391
/// `_`
394392
Infer,
395393
/// `*mut u32`, `*u8`, etc.

src/test/rustdoc-json/primitives.rs

+22
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
#![feature(never_type)]
2+
3+
// @has primitives.json "$.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 = !;
7+
8+
// @has - "$.index[*][?(@.name=='PrimStr')].inner.type.kind" \"primitive\"
9+
// @has - "$.index[*][?(@.name=='PrimStr')].inner.type.inner" \"str\"
10+
pub type PrimStr = str;
11+
12+
// @has - "$.index[*][?(@.name=='PrimBool')].inner.type.kind" \"primitive\"
13+
// @has - "$.index[*][?(@.name=='PrimBool')].inner.type.inner" \"bool\"
14+
pub type PrimBool = bool;
15+
16+
// @has - "$.index[*][?(@.name=='PrimChar')].inner.type.kind" \"primitive\"
17+
// @has - "$.index[*][?(@.name=='PrimChar')].inner.type.inner" \"char\"
18+
pub type PrimChar = char;
19+
20+
// @has - "$.index[*][?(@.name=='PrimU8')].inner.type.kind" \"primitive\"
21+
// @has - "$.index[*][?(@.name=='PrimU8')].inner.type.inner" \"u8\"
22+
pub type PrimU8 = u8;

0 commit comments

Comments
 (0)