Add type restrictions to spec#16068

Closed

Vici37 wants to merge 1 commit intocrystal-lang:masterfrom

Vici37:add-type-restrictions-to-spec

Commits on Aug 6, 2025

This is the output of compiling [cr-source-typer](https://github.com/Vici37/cr-source-typer) and running it with the below incantation:
Vici37
committed