C++: static cast fails to invoke `#convertStatic` about c-semantics HOT 5 CLOSED

so, first of all, you are correct that we should probably add notBool isCPPEnumType(T) to the side condition of the rules in conversion.k. They exist in that form because they need to be able to handle char16_t, char32_t, and wchar_t, which are integer types but neither signed nor unsigned types. It was written without thinking that far ahead about enumerations at the time.

I believe what you want to try to do is to add a side condition to the rule that creates ConvertType nodes in the tree which asserts that the types involved make the conversion possible in some fashion.

from c-semantics.

I am working on a fix for this issue and should have it out soon. I would wait and come back to this once that's done.

from c-semantics.

I have already created something for both parts. Do you think it would not be sufficient, or it is too ad-hoc?

from c-semantics.

Yes, this is too ad-hoc. I will have something out in the near future that should work without breaking the structure that I already began laying out

from c-semantics.

This was probably fixed in 6cd2af9. Can we close it?

from c-semantics.