1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
package dotty object language { class Feature /** Allow higher-kinded type syntax (not yet checked) */ val higherKinds = new Feature /** Keep union types */ val keepUnions = new Feature /** No auto tupling */ val noAutoTupling = new Feature }