diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps index 167706dc..68ec78dd 100644 --- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps +++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps @@ -3586,12 +3586,6 @@ - - - - - - @@ -3604,9 +3598,6 @@ - - - @@ -3629,12 +3620,6 @@ - - - - - - @@ -10057,23 +10042,13 @@ - - - - - - - - - - - - - - + + + + - - + + @@ -10224,23 +10199,13 @@ - - - - - - - - - - - - - - + + + + - - + + @@ -10400,23 +10365,13 @@ - - - - - - - - - - - - - - + + + + - - + + @@ -10638,14 +10593,6 @@ - - - - - - - - @@ -10683,14 +10630,6 @@ - - - - - - - - @@ -10739,14 +10678,6 @@ - - - - - - - - @@ -10790,8 +10721,8 @@ - - + + @@ -10806,15 +10737,7 @@ - - - - - - - - - + @@ -10919,17 +10842,12 @@ - - - - - - - - - - - + + + + + + @@ -10941,7 +10859,7 @@ - + @@ -10952,14 +10870,6 @@ - - - - - - - - @@ -10996,7 +10906,7 @@ - + @@ -11006,27 +10916,22 @@ - - - - + + + + - - - - - - - - - + + + + - + @@ -11080,17 +10985,12 @@ - - - - - - - - - - - + + + + + + @@ -11102,7 +11002,7 @@ - + @@ -11112,14 +11012,6 @@ - - - - - - - - @@ -11150,7 +11042,7 @@ - + @@ -11160,27 +11052,22 @@ - - - - + + + + - - - - - - - - - + + + + - + @@ -11236,10 +11123,13 @@ - - - - + + + + + + + @@ -11366,11 +11256,11 @@ - - + + - - + + @@ -11481,8 +11371,8 @@ - - + + @@ -11577,8 +11467,8 @@ - - + + @@ -11587,8 +11477,8 @@ - - + + @@ -11688,9 +11578,6 @@ - - - @@ -11727,12 +11614,6 @@ - - - - - - @@ -11757,12 +11638,6 @@ - - - - - - @@ -11799,9 +11674,6 @@ - - - @@ -11836,12 +11708,6 @@ - - - - - - @@ -13978,11 +13844,30 @@ + + + + + + + + + + + + + + + + + + + @@ -14000,9 +13885,6 @@ - - - @@ -14022,8 +13904,8 @@ - - + + @@ -14055,12 +13937,6 @@ - - - - - - @@ -14085,12 +13961,6 @@ - - - - - - @@ -14110,9 +13980,6 @@ - - - @@ -14125,8 +13992,8 @@ - - + + @@ -14162,29 +14029,20 @@ - - - - - - - - + + - - - @@ -14673,6 +14531,13 @@ + + + + + + + @@ -17141,6 +17006,9 @@ + + + @@ -17148,9 +17016,6 @@ - - - @@ -17750,12 +17615,12 @@ - - - + + + @@ -17805,6 +17670,9 @@ + + + @@ -17812,9 +17680,6 @@ - - - @@ -19824,6 +19689,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19837,6 +19806,9 @@ + + + @@ -19926,9 +19898,6 @@ - - -