MiniAgda-0.2025.7.23: test/fail/DataAtSetInfty.err

--- opening "DataAtSetInfty.ma" ---
--- scope checking ---
--- type checking ---
error during typechecking:
U
/// # is not a valid universe level