Skip to content

t27o: a fn returning Vec<T> built by push converts in the out-buffer form -- a last out: []T, the result the count, the oracle checks the written prefix (Closes #11073, Closes #11112) - #11109

Merged
gHashTag merged 5 commits into
masterfrom
t27o/vec-out-buffer-a4
Oct 19, 2026
Merged

t27o: a fn returning Vec<T> built by push converts in the out-buffer form -- a last out: []T, the result the count, the oracle checks the written prefix (Closes #11073, Closes #11112)#11109
gHashTag merged 5 commits into
masterfrom
t27o/vec-out-buffer-a4

t27o: a list looped over whose element type is not told is refused na…

0bc68a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar