_STL_VERIFY shouldn't emit long strings for function names

[fsb4000]

Fixes #1956

Before the changes I had

C:\Dev\STL\out\build\x64\out\inc\ranges(1627): fatal error C1091: compiler limit: string exceeds 65535 bytes in length
C:\Dev\STL\out\build\x64\out\inc\ranges(1623): note: while compiling class template member function 'double std::ranges::transform_view<std::ranges::transform_view<std::ranges::transform_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,_Ty>,_Ty>,_Ty>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>,myVeryLongNamespace::C::getFirstValue::<lambda_1>>,myVeryLongNamespace::B::getFirstValue::<lambda_1>>,myVeryLongNamespace::A::getFirstValue::<lambda_1>>::_Iterator<false>::operator *(void) const'
        with
        [
            _Ty=test::<lambda_1>
        ]
C:\Dev\STL\tests\std\tests\GH_001956_stl_verify_emits_long_strings\test.compile.pass.cpp(24): note: see reference to class template instantiation 'std::ranges::transform_view<std::ranges::transform_view<std::ranges::transform_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,_Ty>,_Ty>,_Ty>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>,myVeryLongNamespace::C::getFirstValue::<lambda_1>>,myVeryLongNamespace::B::getFirstValue::<lambda_1>>,myVeryLongNamespace::A::getFirstValue::<lambda_1>>::_Iterator<false>' being compiled
        with
        [
            _Ty=test::<lambda_1>
        ]
C:\Dev\STL\tests\std\tests\GH_001956_stl_verify_emits_long_strings\test.compile.pass.cpp(39): note: see reference to function template instantiation 'double myVeryLongNamespace::A::getFirstValue<std::ranges::transform_view<std::ranges::transform_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,_Ty>,_Ty>,_Ty>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>,myVeryLongNamespace::C::getFirstValue::<lambda_1>>,myVeryLongNamespace::B::getFirstValue::<lambda_1>>&>(RangeOfA)' being compiled
        with
        [
            _Ty=test::<lambda_1>,
            RangeOfA=std::ranges::transform_view<std::ranges::transform_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,test::<lambda_1>>,test::<lambda_1>>,test::<lambda_1>>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>,myVeryLongNamespace::C::getFirstValue::<lambda_1>>,myVeryLongNamespace::B::getFirstValue::<lambda_1>> &
        ]
C:\Dev\STL\tests\std\tests\GH_001956_stl_verify_emits_long_strings\test.compile.pass.cpp(54): note: see reference to function template instantiation 'double myVeryLongNamespace::B::getFirstValue<std::ranges::transform_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,_Ty>,_Ty>,_Ty>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>,myVeryLongNamespace::C::getFirstValue::<lambda_1>>&>(RangeOfB)' being compiled
        with
        [
            _Ty=test::<lambda_1>,
            RangeOfB=std::ranges::transform_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,test::<lambda_1>>,test::<lambda_1>>,test::<lambda_1>>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>,myVeryLongNamespace::C::getFirstValue::<lambda_1>> &
        ]
C:\Dev\STL\tests\std\tests\GH_001956_stl_verify_emits_long_strings\test.compile.pass.cpp(69): note: see reference to function template instantiation 'double myVeryLongNamespace::C::getFirstValue<std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,_Ty>,_Ty>,_Ty>,myVeryLongNamespace::D::getFirstValue::<lambda_1>>&>(RangeOfC)' being compiled
        with
        [
            _Ty=test::<lambda_1>,
            RangeOfC=std::ranges::transform_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,test::<lambda_1>>,test::<lambda_1>>,test::<lambda_1>>,myVeryLongNamespace::D::getFirstValue::<lambda_1>> &
        ]
C:\Dev\STL\tests\std\tests\GH_001956_stl_verify_emits_long_strings\test.compile.pass.cpp(93): note: see reference to function template instantiation 'double myVeryLongNamespace::D::getFirstValue<std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,_Ty>,_Ty>,_Ty>&>(RangeOfD)' being compiled
        with
        [
            _Ty=test::<lambda_1>,
            RangeOfD=std::ranges::filter_view<std::ranges::filter_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<myVeryLongNamespace::D,std::allocator<myVeryLongNamespace::D>>>,test::<lambda_1>>,test::<lambda_1>>,test::<lambda_1>> &
        ]

[fsb4000]

second test:

#include <iostream>

int main() {
    _STL_VERIFY (false, "just a test");
}

cl /nologo /EHsc /W4 /WX /MDd /std:c++latest test.cpp

[StephanTLavavej]

Looks good - I'll push comment changes.

[fsb4000]

I knew that these comments were needed, but I had not write them for an unknown reason. Sorry :(

[StephanTLavavej]

I'm going to add this to the next batch of changes to merge - please notify me if any further commits are pushed.

[StephanTLavavej]

Thanks for reducing debug codegen size! 🔬 😸 🎉