Auto merge of #24525 - GuillaumeGomez:check-const, r=pnkfelix

[rust.git] / src / librustc / diagnostics.rs

diff --git a/src/librustc/diagnostics.rs b/src/librustc/diagnostics.rs
index 1a71bab4ff021556d7ab5964e14d726c70c08e83..ba226c88e562399a2691b519a569b59230405794 100644 (file)
--- a/src/librustc/diagnostics.rs
+++ b/src/librustc/diagnostics.rs
@@ -168,6 +168,29 @@ struct X { x: (), }
 is because Rust currently does not support compile-time function execution.
 "##,
 
+E0018: r##"
+The value of static and const variables must be known at compile time. You
+can't cast a pointer as an integer because we can't know what value the
+address will take.
+
+However, pointers to other constants' addresses are allowed in constants,
+example:
+
+```
+const X: u32 = 50;
+const Y: *const u32 = &X;
+```
+
+Therefore, casting one of these non-constant pointers to an integer results
+in a non-constant integer which lead to this error. Example:
+
+```
+const X: u32 = 50;
+const Y: *const u32 = &X;
+println!("{:?}", Y);
+```
+"##,
+
 E0020: r##"
 This error indicates that an attempt was made to divide by zero (or take the
 remainder of a zero divisor) in a static or constant expression.
@@ -413,7 +436,6 @@ enum Method { GET, POST }
     E0014,
     E0016,
     E0017,
-    E0018,
     E0019,
     E0022,
     E0079, // enum variant: expected signed integer constant