The only place where they are created with a control input is at Parse::array_store_check(), the reason given is

// We are allowed to use the constant type only if cast succeeded

But this seems incorrect, the load from the constant type can be done regardless, and it will be constant-folded.