diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-10-17 17:52:11 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-10-17 17:55:49 +0000 |
| commit | bcdd3d77397295f1e20cd257c306d25c3a32dde2 (patch) | |
| tree | f22cde293ecf656a2f2de29feedab8f0798d5737 | |
| parent | 93e62a260f9edb5813a73908120a43f1415f2c8c (diff) | |
| download | rust-bcdd3d77397295f1e20cd257c306d25c3a32dde2.tar.gz rust-bcdd3d77397295f1e20cd257c306d25c3a32dde2.zip | |
Disable effects in libcore again
| -rw-r--r-- | library/core/src/lib.rs | 1 | ||||
| -rw-r--r-- | tests/ui/consts/effect_param.rs | 11 | ||||
| -rw-r--r-- | tests/ui/consts/effect_param.stderr | 19 |
3 files changed, 30 insertions, 1 deletions
diff --git a/library/core/src/lib.rs b/library/core/src/lib.rs index 963545a2eb2..03243e31348 100644 --- a/library/core/src/lib.rs +++ b/library/core/src/lib.rs @@ -219,7 +219,6 @@ #![feature(doc_cfg)] #![feature(doc_cfg_hide)] #![feature(doc_notable_trait)] -#![feature(effects)] #![feature(exhaustive_patterns)] #![feature(extern_types)] #![feature(fundamental)] diff --git a/tests/ui/consts/effect_param.rs b/tests/ui/consts/effect_param.rs new file mode 100644 index 00000000000..f11ec739fce --- /dev/null +++ b/tests/ui/consts/effect_param.rs @@ -0,0 +1,11 @@ +//! Ensure we don't allow accessing const effect parameters from stable Rust. + +fn main() { + i8::checked_sub::<true>(42, 43); + //~^ ERROR: method takes 0 generic arguments but 1 generic argument was supplied +} + +const FOO: () = { + i8::checked_sub::<false>(42, 43); + //~^ ERROR: method takes 0 generic arguments but 1 generic argument was supplied +}; diff --git a/tests/ui/consts/effect_param.stderr b/tests/ui/consts/effect_param.stderr new file mode 100644 index 00000000000..f8c4bfc02e5 --- /dev/null +++ b/tests/ui/consts/effect_param.stderr @@ -0,0 +1,19 @@ +error[E0107]: method takes 0 generic arguments but 1 generic argument was supplied + --> $DIR/effect_param.rs:9:9 + | +LL | i8::checked_sub::<false>(42, 43); + | ^^^^^^^^^^^--------- help: remove these generics + | | + | expected 0 generic arguments + +error[E0107]: method takes 0 generic arguments but 1 generic argument was supplied + --> $DIR/effect_param.rs:4:9 + | +LL | i8::checked_sub::<true>(42, 43); + | ^^^^^^^^^^^-------- help: remove these generics + | | + | expected 0 generic arguments + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0107`. |