フォーマルな言語仕様としての話で、IDEが推論に基づく支援をするのは別に禁止はしないんだろうな。