A with-based effect notation (via repnop) — discussion

#api #rust