Do not generate pattern constraints in runtime types