I don't think TS even has a way, internally, to track the correlation between the two values here. The compiler just sees an expression of the form `x + y` where `x` and `y` are independent terms of type `string | number` (because it doesn't know which type `par` is) and errors accordingly.
Also, please follow the issue template next time.