Skip to content

yeet AliasConstKind::opt_def_id - #162797

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:yeet-opt_def_id
Sep 19, 2026
Merged

rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:yeet-opt_def_id

Commits

Commits on Sep 18, 2026