09/10/2019, 9:24 AM
Hmm… So a rule may or may not be valid depending on what a dependee happens to have in implicit scope?
09/12/2019, 3:00 PM
absolutely. the ambiguity case above is a bug, but in general, it makes sense that using a @rule has some requirements.