Interprocedural sparse conditional type propagation (via eBPF) — discussion

#plt #ruby #rust