But it seems like this is just the nature of scalac, and noisily violating that assumption might just make a lot of noise, break things, and leave us hanging