Commit dafa0128 authored by Ryan Scott's avatar Ryan Scott
Browse files

Add regression test for #14209

Summary:
Commit 0257dacf
(`Refactor bindHsQTyVars and friends`) ended up fixing #14209. Let's
add a regression test so that it stays fixed.

Test Plan: make test TEST=T14209

Reviewers: austin, bgamari

Subscribers: rwbarton, thomie

GHC Trac Issues: #14209

Differential Revision: https://phabricator.haskell.org/D3936
parent 9ff9c358
{-# LANGUAGE TypeInType #-}
module T14209 where
data MyProxy k (a :: k) = MyProxy
data Foo (z :: MyProxy k (a :: k))
......@@ -167,3 +167,4 @@ test('T13985', normal, compile_fail, [''])
test('T14110', normal, compile_fail, [''])
test('BadKindVar', normal, compile_fail, [''])
test('T13738', normal, compile_fail, [''])
test('T14209', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment