https://pantsbuild.org/ logo
w

witty-crayon-22786

09/09/2019, 11:17 PM
That requirement eliminates a bunch of ambiguities because there are cases where an
@rule
already has a Y available from a caller that are currently considered to be ambiguous (ie: the engine asks "should I use Param(Y), or consume this rule that requires a Y?", and both are possible).