Skip to content

Update E0517 message to reflect RFC 2195.#128795

Merged
bors merged 1 commit intorust-lang:masterfrom zachs18:e0517-update-for-rfc-2195Aug 8, 2024

Commits

Commits on Aug 8, 2024