contracts: allow non-const expressions in requires clause#152378

dawidl022 wants to merge 1 commit intorust-lang:mainrust-lang/rust:mainfrom

dawidl022:contracts/non-const-requires-rebaseddawidl022/rust:contracts/non-const-requires-rebasedCopy head branch name to clipboard