Fix an opt as T.extract_constant don't always return the same type. I made issue gh-4188 to fix that more generally.