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 e84db768..3fbb056c 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 @@ -7078,44 +7078,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7141,13 +7103,18 @@ - - - - - + + + + + + + - + + + + @@ -7183,44 +7150,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7246,13 +7175,18 @@ - - - - - + + + + + + + - + + + + @@ -7291,44 +7225,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7354,13 +7250,18 @@ - - - - - + + + + + + + - + + + + @@ -7394,44 +7295,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7455,13 +7318,18 @@ - - - - - + + + + + + + - + + + + @@ -7510,44 +7378,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7581,13 +7411,18 @@ - - - - - + + + + + + + - + + + + @@ -7634,44 +7469,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7705,13 +7502,18 @@ - - - - - + + + + + + + - + + + + @@ -7796,52 +7598,20 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + - + + + + @@ -12752,6 +12522,9 @@ + + + @@ -12760,9 +12533,6 @@ - - - @@ -12914,6 +12684,9 @@ + + + @@ -12922,11 +12695,11 @@ - - - + + + @@ -12935,9 +12708,6 @@ - - - @@ -13350,6 +13120,9 @@ + + + @@ -13358,9 +13131,6 @@ - - - @@ -13563,6 +13333,9 @@ + + + @@ -13571,9 +13344,6 @@ - - - @@ -14180,6 +13950,9 @@ + + + @@ -14188,9 +13961,6 @@ - - - @@ -14382,6 +14152,9 @@ + + + @@ -14390,9 +14163,6 @@ - - - @@ -14979,6 +14749,9 @@ + + + @@ -14987,9 +14760,6 @@ - - - @@ -15050,6 +14820,9 @@ + + + @@ -15058,9 +14831,6 @@ - - - @@ -15508,6 +15278,9 @@ + + + @@ -15516,9 +15289,6 @@ - - - @@ -15577,6 +15347,9 @@ + + + @@ -15585,9 +15358,6 @@ - - - @@ -15900,6 +15670,9 @@ + + + @@ -15908,9 +15681,6 @@ - - - @@ -17101,6 +16871,9 @@ + + + @@ -17109,9 +16882,6 @@ - - - @@ -17669,6 +17439,9 @@ + + + @@ -17677,9 +17450,6 @@ - - - @@ -17693,6 +17463,9 @@ + + + @@ -17701,9 +17474,6 @@ - - - @@ -18073,12 +17843,6 @@ - - - - - - @@ -18094,19 +17858,6 @@ - - - - - - - - - - - - - @@ -18217,14 +17968,142 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -18242,21 +18121,6 @@ - - - - - - - - - - - - - - - @@ -18640,20 +18504,22 @@ - - - + + + + + - + - - + + - + @@ -18661,31 +18527,23 @@ - - + + - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + @@ -18728,6 +18586,13 @@ + + + + + + + @@ -18736,14 +18601,6 @@ - - - - - - - - @@ -18754,7 +18611,7 @@ - + @@ -18769,7 +18626,7 @@ - + @@ -18780,6 +18637,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -18803,9 +18684,64 @@ + + + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -19024,6 +18960,11 @@ + + + + + @@ -19092,9 +19033,6 @@ - - - @@ -19105,19 +19043,22 @@ - + + + + - + - - - - + + + + - + @@ -19391,8 +19332,12 @@ - - + + + + + + @@ -19401,32 +19346,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -19582,9 +19501,6 @@ - - - @@ -19595,17 +19511,10 @@ - - - - - - - - - + + @@ -19879,72 +19788,69 @@ - - - - - - - + + + + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + - - - - - - - - - + - + - - - - - - - - - - + + + + - - - + @@ -20099,9 +20005,6 @@ - - - @@ -20112,16 +20015,15 @@ - + + + + - + - - - - @@ -20260,32 +20162,50 @@ - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -20353,12 +20273,6 @@ - - - - - - @@ -20371,27 +20285,33 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + @@ -20399,27 +20319,11 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -20444,36 +20348,11 @@ - + - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -20520,9 +20399,6 @@ - - - @@ -20533,20 +20409,12 @@ - - - - - - - - - + + - @@ -20610,6 +20478,10 @@ + + + + @@ -20629,10 +20501,6 @@ - - - - @@ -20650,6 +20518,7 @@ + @@ -20660,25 +20529,44 @@ - - - - - - - + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - + @@ -20708,7 +20596,6 @@ - @@ -20727,22 +20614,29 @@ - - - - - - - - + + + + + + + + + + + + - - - + + + + + + - + @@ -20752,6 +20646,16 @@ + + + + + + + + + + @@ -20762,7 +20666,7 @@ - + @@ -20793,12 +20697,6 @@ - - - - - - @@ -20811,23 +20709,6 @@ - - - - - - - - - - - - - - - - - @@ -20866,10 +20747,6 @@ - - - - @@ -20883,6 +20760,10 @@ + + + + @@ -20891,10 +20772,6 @@ - - - - @@ -20920,30 +20797,18 @@ - - - - - + + + + - - - - - - - - - - - - - - - - + + + + + @@ -20970,30 +20835,21 @@ - - + + - - - - - - - - - - - - - + + + + @@ -21050,9 +20906,6 @@ - - - @@ -21063,16 +20916,9 @@ - - - - - - - - + @@ -21140,7 +20986,7 @@ - + @@ -21178,35 +21024,54 @@ - - + + - + - + - + - - - - - - - + + + + + + + + + + + + + + + + - - - - + + + + + + + + + + + + + + - + @@ -21231,7 +21096,7 @@ - + @@ -21254,22 +21119,29 @@ - - - - - - - - + + + + + + + + + + + + - - - + + + + + + - + @@ -21279,6 +21151,16 @@ + + + + + + + + + + @@ -21288,7 +21170,7 @@ - + @@ -21319,12 +21201,6 @@ - - - - - - @@ -21337,23 +21213,6 @@ - - - - - - - - - - - - - - - - - @@ -21368,7 +21227,7 @@ - + @@ -21406,117 +21265,92 @@ - + - + + - + - + - - - - - - - - + + + + - + - + - - + + - + - - - - + + + + - - - - - + + + + - - - - - - - - - - - - - - - - + + + + + - + - - - + + + - - - - + + + + - + - + - - - - - + + + + + - - - - - - - - - - - - - + + + @@ -21572,9 +21406,6 @@ - - - @@ -21585,171 +21416,192 @@ - + + + + - + - - - - - + + + + + - - - - - - - - - + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + - - - - - + + - - - - - - - - - - - - - + + + + + + + + - - - - + + + + + - - + + - - + + + + + + + + - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - - - - - - - - - - - - + + + + + - - + + - - + + + + + + + + + + + + + + + + + + + + + - - - - - - + + + + + - - - - - + + + + + + + + + + + + + + + @@ -21762,7 +21614,7 @@ - + @@ -21793,12 +21645,6 @@ - - - - - - @@ -21811,27 +21657,33 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + @@ -21839,27 +21691,11 @@ - - - - - - - - - - - - - - - - - - - - - + + + + + @@ -21880,37 +21716,13 @@ - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -21966,9 +21778,6 @@ - - - @@ -21979,41 +21788,34 @@ - + + + + - + - - - - - - - + - - - - - - - - - - - - - + + + + + + + + + @@ -22041,12 +21843,6 @@ - - - - - - @@ -22057,18 +21853,6 @@ - - - - - - - - - - - - @@ -22096,24 +21880,6 @@ - - - - - - - - - - - - - - - - - - @@ -22123,8 +21889,14 @@ - - + + + + + + + + @@ -22136,8 +21908,9 @@ - - + + + @@ -22146,37 +21919,13 @@ - + + + - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -22224,12 +21973,6 @@ - - - - - - @@ -22238,9 +21981,6 @@ - - - @@ -22406,12 +22146,6 @@ - - - - - - @@ -22424,27 +22158,33 @@ - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + @@ -22452,27 +22192,11 @@ - - - - - - - - - - - - - - - - - - - - - + + + + +