diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/rustc_error_codes/src/error_codes/E0641.md | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/compiler/rustc_error_codes/src/error_codes/E0641.md b/compiler/rustc_error_codes/src/error_codes/E0641.md new file mode 100644 index 000000000..5848e9b5c --- /dev/null +++ b/compiler/rustc_error_codes/src/error_codes/E0641.md @@ -0,0 +1,19 @@ +Attempted to cast to/from a pointer with an unknown kind. + +Erroneous code example: + +```compile_fail,E0641 +let b = 0 as *const _; // error +``` + +Type information must be provided if a pointer type being cast from/into another +type which cannot be inferred: + +``` +// Creating a pointer from reference: type can be inferred +let a = &(String::from("Hello world!")) as *const _; // ok! + +let b = 0 as *const i32; // ok! + +let c: *const i32 = 0 as *const _; // ok! +``` |