aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ImplicitParams/standalone-implicit-param.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE ImplicitParams #-}

module StandaloneImplicitParam where

-- Implicit parameter in standalone type position (e.g. type synonym body)
f :: (?x :: Int) => (?y :: Bool) => Int -> Int
f = ?x