tests for "extends package.Type()" #1245
tests for "extends package.Type()" #1245
jvasileff/ceylon-spec,ceylon/ceylon-spec,jvasileff/ceylon-spec,jvasileff/ceylon-spec,ceylon/ceylon-spec,ceylon/ceylon-spec