Interprocedural Sparse Conditional Type Propagation (via febuiles) — discussion

#ruby