summary refs log tree commit diff
path: root/compiler/rustc_span/src
diff options
context:
space:
mode:
authorDing Xiang Fei <dingxiangfei2009@protonmail.ch>2025-01-27 06:06:06 +0800
committerDing Xiang Fei <dingxiangfei2009@protonmail.ch>2025-02-09 20:40:41 +0800
commitde405dcb8fbcd0add1e60c75800dac9b8fbe4884 (patch)
treea2f982a559cd78d48a2add7cfeefb7630e471f34 /compiler/rustc_span/src
parent43ca9d18e333797f0aa3b525501a7cec8d61a96b (diff)
downloadrust-de405dcb8fbcd0add1e60c75800dac9b8fbe4884.tar.gz
rust-de405dcb8fbcd0add1e60c75800dac9b8fbe4884.zip
introduce CoercePointeeWellformed for coherence checks at typeck stage
Diffstat (limited to 'compiler/rustc_span/src')
-rw-r--r--compiler/rustc_span/src/symbol.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
index c819d433235..096a438906c 100644
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@@ -193,6 +193,7 @@ symbols! {
         Cleanup,
         Clone,
         CoercePointee,
+        CoercePointeeWellformed,
         CoerceUnsized,
         Command,
         ConstParamTy,
@@ -619,6 +620,7 @@ symbols! {
         cmp_partialord_lt,
         cmpxchg16b_target_feature,
         cmse_nonsecure_entry,
+        coerce_pointee_wellformed,
         coerce_unsized,
         cold,
         cold_path,