Skip to content

Commit d0497a9

Browse files
Yeet effects feature
1 parent ffd1055 commit d0497a9

File tree

169 files changed

+272
-742
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

169 files changed

+272
-742
lines changed

compiler/rustc_feature/src/removed.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -100,6 +100,9 @@ declare_features! (
100100
Some("renamed to `doc_notable_trait`")),
101101
/// Allows using `#[unsafe_destructor_blind_to_params]` (RFC 1238).
102102
(removed, dropck_parametricity, "1.38.0", Some(28498), None),
103+
/// Uses generic effect parameters for ~const bounds
104+
(removed, effects, "CURRENT_RUSTC_VERSION", Some(102090),
105+
Some("removed, redundant with `#![feature(const_trait_impl)]`")),
103106
/// Allows defining `existential type`s.
104107
(removed, existential_type, "1.38.0", Some(63063),
105108
Some("removed in favor of `#![feature(type_alias_impl_trait)]`")),

compiler/rustc_feature/src/unstable.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -462,8 +462,6 @@ declare_features! (
462462
(unstable, doc_masked, "1.21.0", Some(44027)),
463463
/// Allows `dyn* Trait` objects.
464464
(incomplete, dyn_star, "1.65.0", Some(102425)),
465-
/// Uses generic effect parameters for ~const bounds
466-
(incomplete, effects, "1.72.0", Some(102090)),
467465
/// Allows exhaustive pattern matching on types that contain uninhabited types.
468466
(unstable, exhaustive_patterns, "1.13.0", Some(51085)),
469467
/// Allows explicit tail calls via `become` expression.

tests/ui/const-generics/const_trait_fn-issue-88433.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,7 @@
11
//@ build-pass
22
//@ compile-flags: -Znext-solver
33

4-
#![allow(incomplete_features)]
5-
#![feature(const_trait_impl, effects)]
4+
#![feature(const_trait_impl)]
65

76
#[const_trait]
87
trait Func<T> {

tests/ui/const-generics/generic_const_exprs/unify-op-with-fn-call.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ known-bug: #110395
22
//@ compile-flags: -Znext-solver
3-
#![feature(generic_const_exprs, adt_const_params, const_trait_impl, effects)]
3+
#![feature(generic_const_exprs, adt_const_params, const_trait_impl)]
44
#![allow(incomplete_features)]
55

66
// test `N + N` unifies with explicit function calls for non-builtin-types

tests/ui/const-generics/generic_const_exprs/unify-op-with-fn-call.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
error: `-Znext-solver=globally` and `generic_const_exprs` are incompatible, using them at the same time is not allowed
22
--> $DIR/unify-op-with-fn-call.rs:3:12
33
|
4-
LL | #![feature(generic_const_exprs, adt_const_params, const_trait_impl, effects)]
4+
LL | #![feature(generic_const_exprs, adt_const_params, const_trait_impl)]
55
| ^^^^^^^^^^^^^^^^^^^
66
|
77
= help: remove one of these features

tests/ui/const-generics/issues/issue-88119.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
//@ known-bug: #110395
22
//@ compile-flags: -Znext-solver
33
#![allow(incomplete_features)]
4-
#![feature(const_trait_impl, effects, generic_const_exprs)]
4+
#![feature(const_trait_impl, generic_const_exprs)]
55

66
#[const_trait]
77
trait ConstName {

tests/ui/const-generics/issues/issue-88119.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: `-Znext-solver=globally` and `generic_const_exprs` are incompatible, using them at the same time is not allowed
2-
--> $DIR/issue-88119.rs:4:39
2+
--> $DIR/issue-88119.rs:4:30
33
|
4-
LL | #![feature(const_trait_impl, effects, generic_const_exprs)]
5-
| ^^^^^^^^^^^^^^^^^^^
4+
LL | #![feature(const_trait_impl, generic_const_exprs)]
5+
| ^^^^^^^^^^^^^^^^^^^
66
|
77
= help: remove one of these features
88

tests/ui/consts/auxiliary/closure-in-foreign-crate.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ compile-flags: -Znext-solver
22
#![crate_type = "lib"]
3-
#![feature(const_closures, const_trait_impl, effects)]
3+
#![feature(const_closures, const_trait_impl)]
44
#![allow(incomplete_features)]
55

66
pub const fn test() {

tests/ui/consts/const-try.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
#![crate_type = "lib"]
66
#![feature(try_trait_v2)]
7-
#![feature(const_trait_impl, effects)]
7+
#![feature(const_trait_impl)]
88
#![feature(const_try)]
99
#![allow(incomplete_features)]
1010

tests/ui/consts/const_cmp_type_id.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@ compile-flags: -Znext-solver
2-
#![feature(const_type_id, const_trait_impl, effects)]
2+
#![feature(const_type_id, const_trait_impl)]
33
#![allow(incomplete_features)]
44

55
use std::any::TypeId;

0 commit comments

Comments
 (0)