Merge pull request #3075 from WalterBright/switchPromotions2

dlang-bot · web-flow · commit 0c422cbb8dc2 · 2021-08-08T20:06:06.000Z
minor edits to #3703 Signed-off-by: Max Haughton <maxhaton@users.noreply.github.com> Merged-on-behalf-of: Max Haughton <maxhaton@users.noreply.github.com>
diff --git a/spec/statement.dd b/spec/statement.dd
@@ -1107,12 +1107,12 @@ $(GNAME StatementNoCaseNoDefault):
 )
 
         $(P $(I Expression) is evaluated.
-        If the type of the $(I Expression) is an enum,
+        If the type of the $(I Expression) is `enum`,
         it is repeatedly converted
         to its $(GLINK2 enum, EnumBaseType) until it isn't. Then,
-        if the type is of integral type,
+        if the type is integral,
         the $(I Expression) undergoes $(DDSUBLINK spec/type, integer-promotions, Integer Promotions).
-        Then, the type of the $(I Expression) must be either of integral type or
+        Then, the type of the $(I Expression) must be either integral or
         a static or dynamic array of $(CODE char), $(CODE wchar), or $(CODE dchar).
         )
 

Original file line number	Diff line number	Diff line change
`@@ -1107,12 +1107,12 @@ $(GNAME StatementNoCaseNoDefault):`
`1107`	`1107`	`)`
`1108`	`1108`
`1109`	`1109`	`$(P $(I Expression) is evaluated.`
`1110`		`- If the type of the $(I Expression) is an enum,`
	`1110`	+ If the type of the $(I Expression) is `enum`,
`1111`	`1111`	`it is repeatedly converted`
`1112`	`1112`	`to its $(GLINK2 enum, EnumBaseType) until it isn't. Then,`
`1113`		`- if the type is of integral type,`
	`1113`	`+ if the type is integral,`
`1114`	`1114`	`the $(I Expression) undergoes $(DDSUBLINK spec/type, integer-promotions, Integer Promotions).`
`1115`		`- Then, the type of the $(I Expression) must be either of integral type or`
	`1115`	`+ Then, the type of the $(I Expression) must be either integral or`
`1116`	`1116`	`a static or dynamic array of $(CODE char), $(CODE wchar), or $(CODE dchar).`
`1117`	`1117`	`)`
`1118`	`1118`