rzk-0.11.4: test/typecheck/cases/ill-shape-dependency-option.rzk

#lang rzk-1

#set-option "warn-shape-dependency" = "off"