-Znext-solver=coherence: suggest increasing recursion limit
#121497
Merged
-Znext-solver=coherence: suggest increasing recursion limit
#121497