uses-whnf-discarded.expect.yaml

status: ok
regression_for:
  - uses-checks-key-off-actual-term-not-whnf