Skip to content

Do not attempt to evaluate obligations on PointeeSized goals#153100

Closed
KiChjang wants to merge 1 commit intorust-lang:mainfrom
KiChjang:special-case-pointee-sized-solver-goals
Closed

Do not attempt to evaluate obligations on PointeeSized goals#153100
KiChjang wants to merge 1 commit intorust-lang:mainfrom
KiChjang:special-case-pointee-sized-solver-goals

Commits

Commits on Feb 25, 2026