hir_analysis: prohibit dyn PointeeSized#143104
Merged
bors merged 1 commit intoJun 28, 2025
Merged
The logs for this run have expired and are no longer available.
Loading
dyn PointeeSized#143104