add failing tests

[winitzki]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 91.66667% with 1 line in your changes missing coverage. Please review.

Project coverage is 88.01%. Comparing base (afde259) to head (935231e).

Files	Patch %	Lines
...re/src/main/scala/io/chymyst/dhall/TypeCheck.scala	91.66%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #29      +/-   ##
==========================================
+ Coverage   87.96%   88.01%   +0.04%     
==========================================
  Files          20       20              
  Lines        1928     1935       +7     
  Branches      521      495      -26     
==========================================
+ Hits         1696     1703       +7     
  Misses        232      232              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.