The joins of a lowered program read off its words: each branch and each
position one lands on (`bad` counts the displacements that land outside
the program or between instructions).
296field unrestricted sm121LowerJoinsCount : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.