@@ -977,7 +977,7 @@ toExprReport source localizer exprRegion category tipe expected =
977977 )
978978
979979 RecordUpdate ->
980− case tipe of
980+ case T.iteratedDealias tipe of
981981 T.Record _ _ ->
982982 Report.toCodeSnippet source region Nothing $
983983 (
@@ -1746,8 +1746,8 @@ toInfiniteReport source localizer region name overallType =
17461746 \ parts of the type that repeat something already printed out infinitely."
17471747 , D.indent 4 (D.dullyellow (T.toDoc localizer RT.None overallType))
17481748 , D.reflowLink
1749− "Staring at the type is usually not so helpful, so I recommend reading the hints at"
1749+ "Staring at this type is usually not so helpful, so I recommend reading the hints at"
17501750 "infinite-type"
1751− "to get unstuck."
1751+ "to get unstuck!"
17521752 ]
17531753 )