Commits on Feb 13, 2022

1. inference: look for :terminate_globally override in backedge termin… …

   …ation check
   
   Now we can "fix" #41694:
   ```julia
   Base.@assume_effects :terminates_globally function issue41694(x)
       res = 1
       1 < x < 20 || throw("bad")
       while x > 1
           res *= x
           x -= 1
       end
       return res
   end
   @test fully_eliminated() do
       issue41694(2)
   end
   ```

   

   aviatesk committed Feb 13, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 27586a8
   • Browse repository at this point

   Copy the full SHA

   27586a8 View commit details

   Browse the repository at this point in the history