Skip to content

Add note on SpecOptionPartialEq to newtype_index#119949

Merged
bors merged 1 commit intorust-lang:masterfrom
clubby789:spec-newtype-comment
Jan 14, 2024

Commits

Commits on Jan 14, 2024