add const_make_global; err for const_allocate ptrs if didn't call#143595
Merged
bors merged 5 commits intorust-lang:masterfrom Jul 17, 2025
Merged
add const_make_global; err for const_allocate ptrs if didn't call#143595bors merged 5 commits intorust-lang:masterfrom
const_make_global; err for const_allocate ptrs if didn't call#143595bors merged 5 commits intorust-lang:masterfrom