MiniAgda-0.2022.3.11: test/fail/erased1.ma

-- invalid use of erased data

let id : (A : Set) -> [A] -> A
       = \ A -> \ x -> x