Skip to content

Fully dependent pi types. - #1933

Closed
ticki wants to merge 1 commit into
rust-lang:masterfrom
ticki:pi-types-ext-2
Closed

Fully dependent pi types.#1933
ticki wants to merge 1 commit into
rust-lang:masterfrom
ticki:pi-types-ext-2

Fully dependent pi types.

0a0698b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs