Skip to content

clarify that the str invariant is a safety, not validity, invariant#117534

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:str
Nov 4, 2023

Commits

Commits on Nov 3, 2023

Commits on Nov 4, 2023