Yes, static checking when available will have to figure into the toolchain so the compiler knows what to do. It's similar with Ada right now.