Ticket #3 (new enhancement)
Check Shape witnesses in core
|Reported by:||benl||Owned by:|
|Component:||Core Type Checker||Version:|
We don't currently check the validity of shape witnesses. Problems should be caught by the source type inferencer, but we should check them in the core language as well.