Remove erroneous E0133 code from an error message.#99739

Merged

bors merged 1 commit intorust-lang:masterfrom nnethercote:rm-E0133

Jul 26, 2022

+9-9

Commits on Jul 26, 2022

Remove erroneous E0133 code from an error message.
nnethercote
committed