inference: forward Conditional
inter-procedurally
#42529
Merged
Conditional
inter-procedurally
#42529