Skip to content

Type-argument arity is unchecked in BOTH directions in alias_chain_type_arg_subst — a floor-band bijection failure where correct and incorrect compile identically - #9585

Merged
briansrls merged 5 commits into
mainfrom
session/nimble-crab-536
Aug 28, 2026
Merged

Type-argument arity is unchecked in BOTH directions in alias_chain_type_arg_subst — a floor-band bijection failure where correct and incorrect compile identically#9585
briansrls merged 5 commits into
mainfrom
session/nimble-crab-536

Regenerate the infer mirror from the merged authority (branch cleanup…

355485c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar