I disagree, warnings tend to be overlooked and depending on how the TypeOracle returns the types it may end up in non-deterministic behavior.