Skip to content

fix homogeneous_aggregate not ignoring some ZST#115708

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:homogeneous
Sep 11, 2023
Merged

fix homogeneous_aggregate not ignoring some ZST#115708
bors merged 1 commit intorust-lang:masterfrom
RalfJung:homogeneous

Commits

Commits on Sep 10, 2023