Test failure in Aesop on v4.18.0-rc1

Stream: nightly-testing

[Kim Morrison]

@Jannis Limperg, could you take a look at

-- FIXME: This test is failing on v4.18.0-rc1
-- example (m n : Nat) : (↑m : Int) < 0 ∧ (↑n : Int) > 0 := by
--   set_option aesop.check.script.steps false in -- TODO lean4#4315
--   set_option aesop.check.script false in
--   aesop!
--   all_goals
--     guard_hyp fwd   : 0 ≤ (n : Int)
--     guard_hyp fwd_1 : 0 ≤ (m : Int)
--     falso

in AesopTest/RulePattern.lean? This is failing now that we've moved to v4.18.0-rc1.

[Jannis Limperg]

Fixed in aesop#204, thanks for the ping!