Use tcInferFRR to prevent bad generalisation
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.
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.