Perform more validation on CoercePointee - #136789

Closed

dingxiangfei2009 wants to merge 6 commits into

rust-lang:masterfrom

dingxiangfei2009:coerce-pointee-more-typeck-validation

Commits on Feb 9, 2025

introduce CoercePointeeWellformed for coherence checks at typeck stage
dingxiangfei2009
committed
de405dc
rename the trait to validity and place a feature gate afront
dingxiangfei2009
committed
c067324
move repr(transparent) checks to coherence
dingxiangfei2009
committed
b943505
encode pointee type info and deduplicate errors
dingxiangfei2009
committed
e55e437
move maybe sized check into coherence
dingxiangfei2009
committed
9aabb55
fix the error code document
dingxiangfei2009
committed
5324992