Add support to intrinsics fallback body#123659

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

celinval:smir-fix-intrinsiccelinval/rust-dev:smir-fix-intrinsicCopy head branch name to clipboard