Skip to content

Repair the coproduct-variant-name escape in 05_emit_rust's already-filter: a variant name is in neither already_imported_names nor local_decl_names, so it is synthesised into a fabricated pub use — executed specimen std.algebra Optional/empty_map, fix module-local at 1c grain never via variant_to_en - #9524

Closed
gunbai-bot[bot] wants to merge 3 commits into
mainfrom
session/cool-heron-752-verify9461
Closed

Repair the coproduct-variant-name escape in 05_emit_rust's already-filter: a variant name is in neither already_imported_names nor local_decl_names, so it is synthesised into a fabricated pub use — executed specimen std.algebra Optional/empty_map, fix module-local at 1c grain never via variant_to_en#9524
gunbai-bot[bot] wants to merge 3 commits into
mainfrom
session/cool-heron-752-verify9461

Merge remote-tracking branch 'origin/main' into session/deep-raven-866

96000c2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar