spec extra restriction for #823
spec extra restriction for #823
jvasileff/ceylon-spec,lucaswerkmeister/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec,jvasileff/ceylon-spec,jvasileff/ceylon-spec