Agda-2.3.2.2: test/succeed/Issue49.agda

module Issue49 where

module Dummy {A : Set1} where
  postulate D : Set

T : Set
T = Dummy.D {Set}

T' : Set
T' = Dummy.D {A = Set}