Skip to content

normalizes-to: handle negative impls#121853

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:normalizes_to-polarity
Mar 1, 2024
Merged

normalizes-to: handle negative impls#121853
bors merged 1 commit intorust-lang:masterfrom
lcnr:normalizes_to-polarity

Commits

Commits on Mar 1, 2024