fix(semantic): reuse branch-narrowed types in expression inference

fix(semantic): reuse branch-narrowed types in expression inference #2595