id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
3,Check Shape witnesses in core,benl,,"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.",enhancement,new,minor,,Core Type Checker,,,,