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 5584d37d..92773423 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 @@ -5411,7 +5411,7 @@ - + @@ -7497,7 +7497,7 @@ - + @@ -7510,74 +7510,57 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + - - - - - - - - - - - - - - - + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7639,7 +7622,7 @@ - + @@ -7652,48 +7635,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -7704,31 +7645,56 @@ - - - + + + - - - - - - - - - - - - - - - + + + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -7980,6 +7946,12 @@ + + + + + + @@ -8031,8 +8003,11 @@ - + + + + @@ -8055,6 +8030,12 @@ + + + + + + @@ -8154,10 +8135,13 @@ - - - - + + + + + + + @@ -10685,7 +10669,7 @@ - + @@ -11223,7 +11207,7 @@ - + @@ -11486,6 +11470,110 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -11493,7 +11581,7 @@ - + @@ -11504,19 +11592,19 @@ - + - + - + - + @@ -11527,7 +11615,7 @@ - + @@ -11683,99 +11771,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -13243,29 +13238,122 @@ - - - - + + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -13455,15 +13543,25 @@ - - - - - + + + + + + + + + + - - - + + + + + + + + @@ -18218,6 +18316,9 @@ + + + @@ -18415,6 +18516,148 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +