Update the rustc hack for CLion / RustRover#3868

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:chores-rustc-hackcelinval/kani-dev:chores-rustc-hackCopy head branch name to clipboard