What's the canonical way to validate a schema file? I tried both the playground, and

zed validate

, and both of them failed to catch an undefined identifier: https://play.authzed.com/s/xs8NClNXjdbK/schema Or is this actually legal? If it is legal, what does it mean to have something on the right side of the arrow operator that doesn't exist?