bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

core: Mark all safe intrinsics with #[rustc_safe_intrinsic]

Browse source
This commit is contained in:
Arthur Cohen 2022-08-18 11:15:26 +02:00
parent 0ab2c91a2d
commit 99d57ee23d
10 changed files with 51 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_error_codes/src/error_codes/E0094.md
View file

@ -6,6 +6,7 @@ Erroneous code example:
#![feature(intrinsics)]
extern "rust-intrinsic" {
#[rustc_safe_intrinsic]
fn size_of<T, U>() -> usize; // error: intrinsic has wrong number
// of type parameters
}
@ -19,6 +20,7 @@ Example:
#![feature(intrinsics)]
extern "rust-intrinsic" {
#[rustc_safe_intrinsic]
fn size_of<T>() -> usize; // ok!
}
```

2
compiler/rustc_error_codes/src/error_codes/E0211.md
View file

@ -7,6 +7,7 @@ used. Erroneous code examples:
#![feature(intrinsics)]
extern "rust-intrinsic" {
#[rustc_safe_intrinsic]
fn size_of<T>(); // error: intrinsic has wrong type
}
@ -42,6 +43,7 @@ For the first code example, please check the function definition. Example:
#![feature(intrinsics)]
extern "rust-intrinsic" {
#[rustc_safe_intrinsic]
fn size_of<T>() -> usize; // ok!
}
```