MiniAgda-0.2022.3.11: test/fail/InvalidField.ma

data D : Set { c : D } fields f