I don't dispute the claim that strict deps would be nice, but it seems to be a definite non-starter in one way (can't infer direct dependencies lexically) and a vaguely unsettling scalac assumption to violate