[just talk] what if implicitly typed literals were disallowed

[BLM768]

> And what about _transparent substitution_ of AA literals for a 
> custom hash
> implementation?

That would also be an excellent way to sidestep the current 
issues with AAs. The AA code would have to be heavily refactored, 
which could clean up the mess and probably get rid of a lot of 
bugs. It could also make performance tuning easier. Hopefully, 
this would make other aspects of the compiler and runtime simpler 
as well.

I'm not sure how the optimizer would like the new system, though. 
It's likely that it would have to be beefed up, especially in the 
area of function inlining between compilation units.