Fixes typechecking tests. Type var bounds are produced together with genDecls at program start. Now bound of type var is captured only when needed -- inside convertsTo check, leaving typeVarBound intact. |
||
|---|---|---|
| .. | ||
| jetbrains.mps.baseLanguage.javadocExt | ||
| jetbrains.mps.baseLanguageExt | ||