MiniAgda-0.2022.3.11: test/succeed/absurdPattern.ma

data Empty : Set {}

fun magic : [A : Set] -> [x : Empty] -> A
{ magic A ()
}