Skip to content

Use tcInferFRR to prevent bad generalisation

Krzysztof Gogolewski requested to merge wip/T23176 into master

Fixes #23176 (closed)

The error message is not ideal (there is one per metavariable), but the situation is rather obscure and this already happens in T23153.

Merge request reports