MiniAgda-0.2025.7.23: test/fail/ShadowBinding.err

--- opening "ShadowBinding.ma" ---
--- scope checking ---
scope check error: (let A = A in A): Identifier A already in context