Improve error message about self-referential types.

InsertCreativityHere · InsertCreativityHere · commit 0ace7a682f2c · 2026-02-12T11:46:17.000-05:00
diff --git a/slicec/src/diagnostics/errors.rs b/slicec/src/diagnostics/errors.rs
@@ -523,7 +523,7 @@ implement_diagnostic_functions!(
     (
         "E047",
         InfiniteSizeCycle,
-        format!("self-referential type {type_id} has infinite size: {cycle}"),
+        format!("disallowed type cycle; type {type_id} references itself: {cycle}"),
         type_id, cycle
     ),
     (

Original file line number	Diff line number	Diff line change
`@@ -523,7 +523,7 @@ implement_diagnostic_functions!(`
`523`	`523`	`(`
`524`	`524`	`"E047",`
`525`	`525`	`InfiniteSizeCycle,`
`526`		`- format!("self-referential type {type_id} has infinite size: {cycle}"),`
	`526`	`+ format!("disallowed type cycle; type {type_id} references itself: {cycle}"),`
`527`	`527`	`type_id, cycle`
`528`	`528`	`),`
`529`	`529`	`(`