Provides only lower atomically if bounds inference indicates it is necessary.
Provides only lower atomically if bounds inference indicates it is necessary.


Former-commit-id: 40759eaf938b5ab5133f78db9a5cb4cd674461c3
darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide