[t/spec] If we're testing that a type-check allows good things, we also need to check it won't accept wrong things.
[t/spec] If we're testing that a type-check allows good things, we also need to check it won't accept wrong things.

git-svn-id: 53605643c415f7495558be95614cf14171f1db78@24988 c213334d-75ef-0310-aa23-eaa082d1ae64

dankogai/roast,cygx/roast,perl6/roast,laben/roast,bitrauser/roast,b2gills/roast,laben/roast,niner/roast,niner/roast,dankogai/roast,skids/roast,dankogai/roast,cygx/roast,cygx/roast,bitrauser/roast,laben/roast,skids/roast,skids/roast,niner/roast,b2gills/roast,dogbert17/roast,dogbert17/roast,zostay/roast,b2gills/roast,zostay/roast,zostay/roast