Skip to content

note on uninhabited structs#217

Merged
gnzlbg merged 2 commits intorust-lang:masterfrom
RalfJung:uninhabited-struct
Nov 17, 2019
Merged

note on uninhabited structs#217
gnzlbg merged 2 commits intorust-lang:masterfrom
RalfJung:uninhabited-struct

Commits

Commits on Oct 21, 2019