What would it take to add refinement types to Rust? (via emschwartz) — discussion

#plt #rust