rzk-0.11.4: test/typecheck/cases/happy-rstt-off.rzk
#lang rzk-1 #set-option "rstt-safe" = "off" #def nested (A : U) (a : A) : A := (\ (B : U) (b : B) → b) A a
#lang rzk-1 #set-option "rstt-safe" = "off" #def nested (A : U) (a : A) : A := (\ (B : U) (b : B) → b) A a