Matthias Krüger af3c51d849 Rollup merge of #136107 - dingxiangfei2009:coerce-pointee-wellformed, r=compiler-errors ... Introduce CoercePointeeWellformed for coherence checks at typeck stage Fix #135206 This is the first PR to introduce the "wellformedness" check for `derive(CoercePointee)`. This patch introduces a new error code to cover all the prerequisites of the said macro. The checks that is enforced with this patch is whether the data is indeed `struct` and whether the layout is set to `repr(transparent)`. A following series of patch will arrive later to address the following concern. 1. #135217 so that we would only admit one single coercion on one type parameter, and leave the rest for future consideration in tandem of development of other coercion rules. 1. Enforcement of data field requirements. **An open question** is whether there is a good schema to encode the `#[pointee]` as well, so that we could also check if the `#[pointee]` type parameter is indeed `?Sized`. ``@rustbot`` label F-derive_coerce_pointee		2025-02-11 02:53:42 +01:00
..
builtin.rs	Rollup merge of #136107 - dingxiangfei2009:coerce-pointee-wellformed, r=compiler-errors	2025-02-11 02:53:42 +01:00
inherent_impls_overlap.rs	Rustfmt	2025-02-08 22:12:13 +00:00
inherent_impls.rs	Begin to implement type system layer of unsafe binders	2024-12-22 21:57:57 +00:00
mod.rs	Rename tcx.ensure() to tcx.ensure_ok()	2025-02-01 12:38:54 +11:00
orphan.rs	Use identifiers in diagnostics more often	2025-01-27 01:23:34 +00:00
unsafety.rs	Make Copy unsafe to implement for ADTs with unsafe fields	2024-12-07 20:50:00 +00:00