Constant expressions now (sometimes) have more accurate resolved type.