Skip to content

SharedHole: let lowering state that two type positions are the same - #72

Merged
dpmills merged 2 commits into
dmills/freshen-levelfrom
dmills/shared-hole
Aug 12, 2026
Merged

SharedHole: let lowering state that two type positions are the same#72
dpmills merged 2 commits into
dmills/freshen-levelfrom
dmills/shared-hole

A `SharedHole`'s identity must not outlive the construct that minted it

17c31a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
Job log options

This job was cancelled