Skip to content
Snippets Groups Projects
Commit bad2f8b8 authored by sheaf's avatar sheaf Committed by Krzysztof Gogolewski
Browse files

Handle ConcreteTvs in inferResultToType 

inferResultToType was discarding the ir_frr information, which meant
some metavariables ended up being MetaTvs instead of ConcreteTvs.

This function now creates new ConcreteTvs as necessary, instead of
always creating MetaTvs.

Fixes #23154
parent 0da18eb7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 90 additions and 34 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment