Repository navigation

Fill omitted defaulted generic parameters during type resolution - #4915

Merged

feliperodri merged 2 commits into

model-checking:mainfrom

kasimte:arc-defaults-fill

Oct 1, 2026

Merged

Fill omitted defaulted generic parameters during type resolution#4915
feliperodri merged 2 commits into
model-checking:mainfrom
kasimte:arc-defaults-fill

Commits on Sep 30, 2026
- Fill omitted defaulted generic parameters during type resolution
  kasimte
  committed
  7f77075
Commits on Oct 1, 2026
- Format the syn_args match per rustfmt (nightly-2026-09-24)
  kasimte
  committed
  8aff4c4