testsuite/tests/dependent/should_fail/T15264.stderr


1
2
3
4
5
6
7
8


T15264.hs:7:22: error: [GHC-76037] Not in scope: type variable ‘k’

T15264.hs:10:22: error: [GHC-76037]
    Not in scope: type variable ‘k1’

T15264.hs:10:32: error: [GHC-76037]
    Not in scope: type variable ‘k2’