Pretty-print uninhabited const values more explicitly.

eddyb · tmiasko · commit 5038faeccc01 · 2021-07-16T22:19:16.000+02:00
diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -1217,8 +1217,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
`@@ -1217,8 +1217,15 @@ pub trait PrettyPrinter<'tcx>:`
`1217`	`1217`	`}`
`1218`	`1218`	`p!(")");`
`1219`	`1219`	`}`
`1220`		`- ty::Adt(def, substs) if def.variants.is_empty() => {`
`1221`		`- p!(print_value_path(def.did, substs));`
	`1220`	`+ ty::Adt(def, _) if def.variants.is_empty() => {`
	`1221`	`+ self = self.typed_value(`
	`1222`	`+ \|mut this\| {`
	`1223`	`+ write!(this, "unreachable()")?;`
	`1224`	`+ Ok(this)`
	`1225`	`+ },`
	`1226`	`+ \|this\| this.print_type(ty),`
	`1227`	`+ ": ",`
	`1228`	`+ )?;`
`1222`	`1229`	`}`
`1223`	`1230`	`ty::Adt(def, substs) => {`
`1224`	`1231`	`let variant_id =`