|
Perhaps this is not too complex, if we require the type annotation to occur in precisely the right place (around the first argument to the selector). That is, we wouldn't do any inference. And it would mean that duplicated fields could always be used, even as selectors, provided enough type annotations were provided.
|
|
Perhaps this is not too complex, if we require the type annotation to occur in precisely the right place (around the first argument to the selector). That is, we wouldn't do any inference. And it would mean that duplicated fields could always be used, even as selectors, provided enough type annotations were provided.
|