Obscure spurious elaboration warnings eliminated
The compiler was giving spurious elaboration warnings in certain obscure cases. The compiler no longer gives these warnings.