それは言語によるんじゃない？実際にあるかどうかと、意味があるかはわからないけど、実行するまで型の妥当性を検証しない言語でもそういう情報を持ってて最適化するとかはアリだと思う。

11:08 AM

例えばその例でVecが外に公開されてないなら静的ディスパッチに内部的にできるとか。