Closed SvetBorislavov closed 14 hours ago
Description: This pull request fixes issues from the typecheck result
Description: This pull request fixes issues from the typecheck result