error_subset_no_new.nit:27,9--16: Type Error: cannot instantiate subset `S`.