#12406: New not-in-scope behaviour + deferred typed holes = disappearing error
messages
-------------------------------------+-------------------------------------
Reporter: ertes | Owner: ak3n
Type: bug | Status: merge
Priority: normal | Milestone:
Component: Compiler | Version: 8.0.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: Incorrect | Test Case:
warning at compile-time | typecheck/should_fail/T12406
Blocked By: | Blocking:
Related Tickets: #12170 | Differential Rev(s): Phab:D2451
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari