Test DerivingNewType now passes

(c.f. Trac #4185)