File tree 2 files changed +7
-9
lines changed
2 files changed +7
-9
lines changed Original file line number Diff line number Diff line change @@ -72,8 +72,8 @@ fn eval_body_using_ecx<'mir, 'tcx>(
72
72
Ok ( ret)
73
73
}
74
74
75
- /// The `InterpCx` is only meant to be used to do field and index projections into constants for
76
- /// `simd_shuffle` and const patterns in match arms.
75
+ /// The `InterpCx` is only meant to be used to do field and index projections into promoteds
76
+ /// and const patterns in match arms.
77
77
///
78
78
/// The function containing the `match` that is currently being analyzed may have generic bounds
79
79
/// that inform us about the generic bounds of the constant. E.g., using an associated constant
Original file line number Diff line number Diff line change @@ -105,11 +105,10 @@ pub enum Candidate {
105
105
/// Promotion of the `x` in `[x; 32]`.
106
106
Repeat ( Location ) ,
107
107
108
- /// Currently applied to function calls where the callee has the unstable
109
- /// `#[rustc_args_required_const]` attribute as well as the SIMD shuffle
110
- /// intrinsic. The intrinsic requires the arguments are indeed constant and
111
- /// the attribute currently provides the semantic requirement that arguments
112
- /// must be constant.
108
+ /// Function calls where the callee has the unstable
109
+ /// `#[rustc_args_required_const]` attribute. The attribute requires that
110
+ /// the arguments be constant, usually because they are encoded as an
111
+ /// immediate operand in a platform intrinsic.
113
112
Argument { bb : BasicBlock , index : usize } ,
114
113
}
115
114
@@ -718,8 +717,7 @@ pub fn validate_candidates(
718
717
. filter ( |& candidate| {
719
718
validator. explicit = candidate. forces_explicit_promotion ( ) ;
720
719
721
- // FIXME(eddyb) also emit the errors for shuffle indices
722
- // and `#[rustc_args_required_const]` arguments here.
720
+ // FIXME(eddyb) also emit the errors for `#[rustc_args_required_const]` arguments here.
723
721
724
722
let is_promotable = validator. validate_candidate ( candidate) . is_ok ( ) ;
725
723
match candidate {
You can’t perform that action at this time.
0 commit comments