Skip to content

Unwrap a known Some(x) without the runtime when x is a variable - #9022

Merged
cknitt merged 1 commit into
masterfrom
fold-known-some-unwrap
Oct 24, 2026
Merged

cknitt merged 1 commit into
masterfrom
fold-known-some-unwrap

Commits

  1. Commits on Oct 24, 2026