fix: qualify NormalizesTo and CoercePredicate in ir_print debug output

This commit is contained in:
Albab-Hasan
2026-03-08 11:03:05 +06:00
parent 901cb4cf40
commit e4e8ae7660
@@ -188,7 +188,7 @@ fn print_debug(
t: &ty::NormalizesTo<Self>,
fmt: &mut std::fmt::Formatter<'_>,
) -> std::fmt::Result {
write!(fmt, "{} -> {:?}", t.alias, t.term)
write!(fmt, "NormalizesTo({} -> {:?})", t.alias, t.term)
}
}
impl<'db> IrPrint<ty::SubtypePredicate<Self>> for DbInterner<'db> {
@@ -215,7 +215,7 @@ fn print_debug(
t: &ty::CoercePredicate<Self>,
fmt: &mut std::fmt::Formatter<'_>,
) -> std::fmt::Result {
write!(fmt, "{:?} -> {:?}", t.a, t.b)
write!(fmt, "CoercePredicate({:?} -> {:?})", t.a, t.b)
}
}
impl<'db> IrPrint<ty::FnSig<Self>> for DbInterner<'db> {