Skip to content

Instantiate path generic arguments during type resolution - #4865

Merged
feliperodri merged 1 commit into
model-checking:mainfrom
kasimte:kani1997-instantiate-args
Sep 30, 2026
Merged

feliperodri merged 1 commit into
model-checking:mainfrom
kasimte:kani1997-instantiate-args

Instantiate path generic arguments during type resolution

25090dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 25, 2026 in 6s