The code has to be executed for getting the type information (hence the runtime). It is less powerful than inferring types, and won't help I think from an IDE

The code has to be executed for getting the type information (hence the runtime). It is less powerful than inferring types, and won't help I think from an IDE perspective, except in the edge case of refining types that are too broad; but it will be based on one execution path.