another attempt at fixing the examples in the error codes .md

This commit is contained in:
Folkert 2024-07-16 20:36:55 +02:00
parent c7ff46c971
commit 1a7960603f
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C

View File

@ -14,6 +14,7 @@ Erroneous code example:
```compile_fail,E0798 ```compile_fail,E0798
#![feature(abi_c_cmse_nonsecure_call)] #![feature(abi_c_cmse_nonsecure_call)]
#[no_mangle]
pub fn test( pub fn test(
f: extern "C-cmse-nonsecure-call" fn(u32, u32, u32, u32, u32) -> u32, f: extern "C-cmse-nonsecure-call" fn(u32, u32, u32, u32, u32) -> u32,
) -> u32 { ) -> u32 {
@ -28,6 +29,7 @@ room left for the final `f32` argument
```compile_fail,E0798 ```compile_fail,E0798
#![feature(abi_c_cmse_nonsecure_call)] #![feature(abi_c_cmse_nonsecure_call)]
#[no_mangle]
pub fn test( pub fn test(
f: extern "C-cmse-nonsecure-call" fn(u32, u64, f32) -> u32, f: extern "C-cmse-nonsecure-call" fn(u32, u64, f32) -> u32,
) -> u32 { ) -> u32 {