summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T17301.hs
Commit message (Collapse)AuthorAgeFilesLines
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-0/+36
See Note [Error on unconstrained meta-variables] in TcMType. Close #17301 Close #17567 Close #17562 Close #15474