Improve the Display for Variable::LoopRecursive a bit

stroxler · meta-codesync[bot] · commit accfb001f944 · 2025-10-27T07:46:22.000-07:00
Summary:
I noticed we explicitly use `default=` for the `Quantified` case with a
default; the label seems nice, I think it's good to have one for the prior
type as well.

Reviewed By: ndmitchell, yangdanny97

Differential Revision: D85530072

fbshipit-source-id: a498564061c1ee5c6a1da43e1d291c9c0b7a03bb
diff --git a/pyrefly/lib/solver/solver.rs b/pyrefly/lib/solver/solver.rs
@@ -98,7 +98,7 @@ impl Display for Variable {
                     write!(f, "Quantified({k})")
                 }
             }
-            Variable::LoopRecursive(t) => write!(f, "LoopRecursive({t})"),
+            Variable::LoopRecursive(t) => write!(f, "LoopRecursive(prior={t})"),
             Variable::Recursive => write!(f, "Recursive"),
             Variable::Parameter => write!(f, "Parameter"),
             Variable::Unwrap => write!(f, "Unwrap"),

Original file line number	Diff line number	Diff line change
`@@ -98,7 +98,7 @@ impl Display for Variable {`
`98`	`98`	`write!(f, "Quantified({k})")`
`99`	`99`	`}`
`100`	`100`	`}`
`101`		`- Variable::LoopRecursive(t) => write!(f, "LoopRecursive({t})"),`
	`101`	`+ Variable::LoopRecursive(t) => write!(f, "LoopRecursive(prior={t})"),`
`102`	`102`	`Variable::Recursive => write!(f, "Recursive"),`
`103`	`103`	`Variable::Parameter => write!(f, "Parameter"),`
`104`	`104`	`Variable::Unwrap => write!(f, "Unwrap"),`