Improve Error Message about Self-Referential Types (#727)

InsertCreativityHere · web-flow · commit 8f2e5c798d31 · 2026-02-25T10:09:28.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!("type {type_id} illegally 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!("type {type_id} illegally references itself: {cycle}"),`
`527`	`527`	`type_id, cycle`
`528`	`528`	`),`
`529`	`529`	`(`