Closed thufschmitt closed 6 years ago
This is now done, provided that the function doesn't have negations in its type. This however hasn't been much tested given that the lack of expressions annotations does not allow to infer union/intersection types for now
This is now done, provided that the function doesn't have negations in its type. This however hasn't been much tested given that the lack of expressions annotations does not allow to infer union/intersection types for now