Skip to content

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

2f41c0d
Select commit
Loading
Failed to load commit list.
Merged

Replace CanonicalVar with DebruijnIndex #52984

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