Local Reasoning for Global Properties (by ltratt) — discussion

#programming #rust