@-Pattern doesn't work with lazy values in case

[spcfox]

Steps to Reproduce

f : Lazy Bool -> Bool
f x@True = x
f x@False = x

failing "While processing right hand side of g.
         Patterns for case block in g require matching on different types."
  g : Lazy Bool -> Bool
  g b = case b of
    x@True => x
    x@False => x

h : Lazy Bool -> Bool
h b = case b of
  Delay x@True => x
  Delay x@False => x

Expected Behavior

g is defined correctly

Observed Behavior

g is incorrect while f and h is correct