Test case for feature-global-types-in-constraint-writer.