Simple Bidirectional Type Inference (via asb) — discussion

#plt #rust