path: root/testsuite/tests/typecheck/should_compile/T13680.hs

{-# LANGUAGE TypeApplications #-}
module T13680 where

foo :: [Int]
foo = [] @Int