Date: Mon, 06 Jan 2020 15:49:11 +0000
Another approach might be to add an attribute to warn if a definition uses operations that are not specified by concepts, but there are probably drawbacks with an opt-in approach like this as well (namely that people need to remember about it).
-- T.
-- T.
Received on 2020-01-06 09:51:50