Agda-2.3.2.2: test/interaction/PragmasRespected.agda

{-# OPTIONS --show-implicit #-}

module PragmasRespected where

postulate
  Foo : {A : Set₁} → Set
  Bar : Foo {A = Set}