linarith and let

Stream: mathlib4

[Dan Velleman]

In the following example, linarith fails:

import Mathlib.Tactic

example : True := by
  let n := 1
  have h : n < 2 := by linarith
  trivial

Shouldn't this work?
I could be mistaken, but I think it used to work. Did something change?