Skip to content

Replace CanonicalVar with DebruijnIndex#52984

Merged
bors merged 2 commits into
masterfrom
unknown repository
Oct 21, 2018
Merged

Replace CanonicalVar with DebruijnIndex#52984
bors merged 2 commits into
masterfrom
unknown repository

Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to varia…

2f41c0d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs