Add statements on intrinsics.#148

vjonaswolf wants to merge 4 commits intorustfoundation:mainrustfoundation/safety-critical-rust-consortium:mainfrom

vjonaswolf:guideline-on-intrinsicsvjonaswolf/safety-critical-rust-consortium:guideline-on-intrinsicsCopy head branch name to clipboard