tests for refinement with type arg substitution
tests for refinement with type arg substitution
jvasileff/ceylon-spec,jvasileff/ceylon-spec,lucaswerkmeister/ceylon-spec,jvasileff/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec