fatal error C1001: An internal error has occurred in the compiler
Hi,
After the update to 15.8.4 (and the previous one as well), compiling this simple reproducer:
#include<type_traits>
// compile with:
// cl -nologo -O2 -MD -GR -EHsc test_type_traits.cxx /link
template <typename T> constexpr auto HasCallOp(int /*goodOverload*/) -> decltype(&T::operator(), true) { return true; }
template <typename T> constexpr bool HasCallOp(char /*badOverload*/) { return false; }
/// Extract types from the signature of a callable object.
template <typename T, bool HasCallOp = HasCallOp<T>(0)> struct CallableTraitsImpl {};
// Extract signature of operator() and delegate to the appropriate CallableTraitsImpl overloads
template <typename T> struct CallableTraitsImpl<T, true> {
using arg_types = typename CallableTraitsImpl<decltype(&T::operator())>::arg_types;
using ret_type = typename CallableTraitsImpl<decltype(&T::operator())>::ret_type;
};
int main(int argc, char* argv[]){ return 0;}
gives:
test_type_traits.cxx(15): fatal error C1001: An internal error has occurred in the compiler. (compiler file 'f:\dd\vctools\compiler\cxxfe\sl\p1\c\convert.cpp', line 677) To work around this problem, try simplifying or changing the program near the locations listed above. Please choose the Technical Support command on the Visual C++ Help menu, or open the Technical Support help file for more information test_type_traits.cxx(17): note: see reference to class template instantiation 'CallableTraitsImpl<T,true>' being compiled
This is a blocker for us (we have 136 such errors when compiling our (ROOT) framework...
Cheers, Bertrand.
Add Comment
Thanks for taking the time to report this issue to us. I’ve filed a bug for this issue on the C++ team here. The status on this Developer Community item will be updated as that bug is looked at. Thanks again for reporting this to us.
Something like this:
template <typename T, typename=void> struct CallableTraitsImpl {};
template <typename T>
struct CallableTraitsImpl<T, std::void_t<decltype(&T::operator())>> {
using arg_types = typename CallableTraitsImpl<decltype(&T::operator())>::arg_types;
using ret_type = typename CallableTraitsImpl<decltype(&T::operator())>::ret_type;
};
We have fixed the problem in an upcoming release. Thank you for your feedback!
Thank you very much for the update! Looking forward for the release ;-)
And BTW, do you have any news about this issue?
