diff options
| author | Michael Goulet <michael@errs.io> | 2025-02-10 19:47:00 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-02-10 19:51:26 +0000 |
| commit | 28164e3c047991294a3d4e7afd6b820c0c2f86ee (patch) | |
| tree | 62b5c343f309aea47fe00529bfa97554e5251995 /tests/ui/feature-gates/feature-gate-contracts.rs | |
| parent | 8c04e395952022a451138dc4dbead6dd6ae65203 (diff) | |
| download | rust-28164e3c047991294a3d4e7afd6b820c0c2f86ee.tar.gz rust-28164e3c047991294a3d4e7afd6b820c0c2f86ee.zip | |
Stop using span hack for contracts feature gating
Diffstat (limited to 'tests/ui/feature-gates/feature-gate-contracts.rs')
| -rw-r--r-- | tests/ui/feature-gates/feature-gate-contracts.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/ui/feature-gates/feature-gate-contracts.rs b/tests/ui/feature-gates/feature-gate-contracts.rs index 5544f1d82ee..1759d23077b 100644 --- a/tests/ui/feature-gates/feature-gate-contracts.rs +++ b/tests/ui/feature-gates/feature-gate-contracts.rs @@ -3,9 +3,7 @@ #[core::contracts::requires(x > 0)] pub fn requires_needs_it(x: i32) { } //~^^ ERROR use of unstable library feature `contracts` -//~^^^ ERROR contracts are incomplete #[core::contracts::ensures(|ret| *ret > 0)] pub fn ensures_needs_it() -> i32 { 10 } //~^^ ERROR use of unstable library feature `contracts` -//~^^^ ERROR contracts are incomplete |