We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 4229a91 + b8b0d9e commit 29e4bf5Copy full SHA for 29e4bf5
docs/SIL.rst
@@ -2748,12 +2748,12 @@ That's the case if the destroy point is jointly dominated by:
2748
2749
or
2750
2751
-* an ``inject_enum_addr`` to the enum memory location with a non-trivial or
+* an ``inject_enum_addr`` to the enum memory location with a trivial or
2752
non-payload case.
2753
2754
2755
2756
-* a successor of a ``switch_enum`` or ``switch_enum_addr`` for a non-trivial
+* a successor of a ``switch_enum`` or ``switch_enum_addr`` for a trivial
2757
or non-payload case.
2758
2759
Dead End Blocks
0 commit comments