Skip to content
  • sheaf's avatar
    bad2f8b8
    Handle ConcreteTvs in inferResultToType · bad2f8b8
    sheaf authored and Krzysztof Gogolewski's avatar Krzysztof Gogolewski committed
    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
    bad2f8b8
    Handle ConcreteTvs in inferResultToType
    sheaf authored and Krzysztof Gogolewski's avatar Krzysztof Gogolewski committed
    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
Loading