@@ -270,6 +270,9 @@ impl From<u8> for Choice {
270270/// assert_eq!(x.ct_eq(&y).unwrap_u8(), 0);
271271/// assert_eq!(x.ct_eq(&x).unwrap_u8(), 1);
272272/// ```
273+ //
274+ // #[inline] is specified on these function prototypes to signify that they
275+ #[ allow( unused_attributes) ] // should be in the actual implementation
273276pub trait ConstantTimeEq {
274277 /// Determine if two items are equal.
275278 ///
@@ -397,6 +400,9 @@ impl ConstantTimeEq for cmp::Ordering {
397400///
398401/// This trait also provides generic implementations of conditional
399402/// assignment and conditional swaps.
403+ //
404+ // #[inline] is specified on these function prototypes to signify that they
405+ #[ allow( unused_attributes) ] // should be in the actual implementation
400406pub trait ConditionallySelectable : Copy {
401407 /// Select `a` or `b` according to `choice`.
402408 ///
@@ -604,6 +610,9 @@ where
604610/// A generic implementation of `ConditionallyNegatable` is provided
605611/// for types `T` which are `ConditionallySelectable` and have `Neg`
606612/// implemented on `&T`.
613+ //
614+ // #[inline] is specified on these function prototypes to signify that they
615+ #[ allow( unused_attributes) ] // should be in the actual implementation
607616pub trait ConditionallyNegatable {
608617 /// Negate `self` if `choice == Choice(1)`; otherwise, leave it
609618 /// unchanged.
0 commit comments