The existence of types in the program may provide a way keep a larger part of the program without users needing to specify new rules. This may be a reasonable thing to do for compatibility mode. See b/136600124 for a discussion of one current difference. In that concrete instance, an alternative, could be to reconsider the value inference in compatibility mode.
Description