Pretty-print uninhabited const values more explicitly.

eddyb · eddyb · commit e291234f5952 · 2021-08-24T19:07:50.000+03:00
diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -1218,8 +1218,15 @@ pub trait PrettyPrinter<'tcx>:
                         }
                         p!(")");
                     }
-                    ty::Adt(def, substs) if def.variants.is_empty() => {
-                        p!(print_value_path(def.did, substs));
+                    ty::Adt(def, _) if def.variants.is_empty() => {
+                        self = self.typed_value(
+                            |mut this| {
+                                write!(this, "unreachable()")?;
+                                Ok(this)
+                            },
+                            |this| this.print_type(ty),
+                            ": ",
+                        )?;
                     }
                     ty::Adt(def, substs) => {
                         let variant_id =

Original file line number	Diff line number	Diff line change
`@@ -1218,8 +1218,15 @@ pub trait PrettyPrinter<'tcx>:`
`1218`	`1218`	`}`
`1219`	`1219`	`p!(")");`
`1220`	`1220`	`}`
`1221`		`- ty::Adt(def, substs) if def.variants.is_empty() => {`
`1222`		`- p!(print_value_path(def.did, substs));`
	`1221`	`+ ty::Adt(def, _) if def.variants.is_empty() => {`
	`1222`	`+ self = self.typed_value(`
	`1223`	`+ \|mut this\| {`
	`1224`	`+ write!(this, "unreachable()")?;`
	`1225`	`+ Ok(this)`
	`1226`	`+ },`
	`1227`	`+ \|this\| this.print_type(ty),`
	`1228`	`+ ": ",`
	`1229`	`+ )?;`
`1223`	`1230`	`}`
`1224`	`1231`	`ty::Adt(def, substs) => {`
`1225`	`1232`	`let variant_id =`