inference: change convergence order (I think this is more similar to …

…the old convergence order)

base/compiler/abstractinterpretation.jl

@@ -3577,13 +3577,10 @@ function typeinf_nocycle(interp::AbstractInterpreter, frame::InferenceState)
 
  no_active_ips_in_callers = false
  while true
- # If the current frame is not the top part of a cycle, continue to the top of the cycle before resuming work
- frame.cycleid == frame.frameid || return false
  # If done, return and finalize this cycle
- no_active_ips_in_callers && return true
- # Otherwise, do at least one iteration over the entire current cycle
+ no_active_ips_in_callers && return frame.cycleid == frame.frameid
  no_active_ips_in_callers = true
- for i = reverse(frame.cycleid:length(callstack))
+ for i = reverse(frame.frameid:length(callstack))
  caller = callstack[i]::InferenceState
  if !isempty(caller.ip)
  # Note that `typeinf_local(interp, caller)` can potentially modify the other frames