rename the trait to validity and place a feature gate afront

This commit is contained in:
Ding Xiang Fei 2025-01-29 06:15:56 +08:00
parent de405dcb8f
commit c067324637
No known key found for this signature in database
GPG key ID: 3CD748647EEF6359
10 changed files with 43 additions and 26 deletions

View file

@ -1195,6 +1195,13 @@ pub(crate) struct CoercePointeeNotConcreteType {
pub span: Span,
}
#[derive(Diagnostic)]
#[diag(hir_analysis_coerce_pointee_no_user_validity_assertion, code = E0802)]
pub(crate) struct CoercePointeeNoUserValidityAssertion {
#[primary_span]
pub span: Span,
}
#[derive(Diagnostic)]
#[diag(hir_analysis_coerce_pointee_not_transparent, code = E0802)]
pub(crate) struct CoercePointeeNotTransparent {