I'd like an operation that inserts the right casts on everywhere in the region that needs them.
(Cf. recent discussion on X10-core, where these casts would be done implicitly.)
For example, applying that operation would turn
Adding the cast in b().
I understand that specifying this is nontrivial, and doing it will require a significant amount of dancing with the type checker.