MiniAgda-0.2022.3.11: test/fail/hang2.ma

data Empty : Set
{
}

mutual
{

fun F : Empty -> Empty
{
F x = F x
}

-- should this scope check ?
fun f  : Empty -> Empty
{
f x = f (F x)
}

}