rzk-0.8.0: test/typecheck/cases/ill-section-not-closed.rzk

#lang rzk-1

#section foo

#define x : U := U