Actions
Feature #160
closed
Type check traits properly
Feature #160:
Type check traits properly
Status:
Closed
Priority:
Normal
Assignee:
-
Category:
Semantic
Start date:
Due date:
% Done:
0%
Estimated time:
Description
Existence of the trait should be checked in the name analysis visitor and its arguments in the type checker. The checks from GENERIC can be removed.
Updated by
Actions