Skip to content

Introduce CoercePointeeValidated for coherence checks at typeck stage#136107

Merged
bors merged 6 commits intorust-lang:masterfrom
dingxiangfei2009:coerce-pointee-wellformed
Feb 11, 2025