The constraint says it is expanded, but you could in theory have a non-expanded descendant for the constraint. It is not exactly ECMA but during our discussions, we did not prevent inheritance from an expanded class.