Fix compiler_builtins upstream monomorphizations errors by inlining kani_contract_mode#4312

zjp-CN wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

os-checker:fix-compiler_builtins-upstream-monomorphizationsos-checker/kani:fix-compiler_builtins-upstream-monomorphizationsCopy head branch name to clipboard