summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T13834.hs
blob: 005ea79d687bcd89ca02d4c7d3695c4d1c33df2e (plain)
1
2
3
4
5
6
{-# LANGUAGE TypeApplications #-}

module Bug where

foo = notInScope @Bool True