mirror of https://github.com/rust-lang/rust.git
![]() Invert the order that we pass the arguments to the `contract_check_ensures` function to avoid the warning when the tail of the function is unreachable. Note that the call itself is also unreachable, but we have already handled that case by ignoring unreachable call for contract calls. |
||
---|---|---|
.. | ||
contract-ast-extensions-nest.rs | ||
contract-ast-extensions-tail.rs | ||
contract-intrinsics.rs | ||
contract-lang-items.chk_fail_post.stderr | ||
contract-lang-items.chk_pass.stderr | ||
contract-lang-items.rs | ||
contract-lang-items.unchk_fail_post.stderr | ||
contract-lang-items.unchk_pass.stderr | ||
contracts-lowering-ensures-is-not-inherited-when-nesting.rs | ||
contracts-lowering-requires-is-not-inherited-when-nesting.rs | ||
internal-feature-gating.rs | ||
internal-feature-gating.stderr |