Skip to content

[EXPERIMENT] Use SmallVec in GoalStalledOn - #161270

Closed
nnethercote wants to merge 1 commit into
rust-lang:mainfrom
nnethercote:small-vec-in-GoalStalledOn
Closed

[EXPERIMENT] Use SmallVec in GoalStalledOn#161270
nnethercote wants to merge 1 commit into
rust-lang:mainfrom
nnethercote:small-vec-in-GoalStalledOn