Commits on Oct 27, 2023

1. When encountering sealed traits, point types that implement it …

   ```
   error[E0277]: the trait bound `S: d::Hidden` is not satisfied
     --> $DIR/sealed-trait-local.rs:53:20
      |
   LL | impl c::Sealed for S {}
      |                    ^ the trait `d::Hidden` is not implemented for `S`
      |
   note: required by a bound in `c::Sealed`
     --> $DIR/sealed-trait-local.rs:17:23
      |
   LL |     pub trait Sealed: self::d::Hidden {
      |                       ^^^^^^^^^^^^^^^ required by this bound in `Sealed`
      = note: `Sealed` is a "sealed trait", because to implement it you also need to implement `c::d::Hidden`, which is not accessible; this is usually done to force you to use one of the provided types that already implement it
      = help: the following types implement the trait:
               - c::X
               - c::Y
   ```
   
   The last `help` is new.

   

   estebank committed Oct 27, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 6dbad23
   • Browse repository at this point

   Copy the full SHA

   6dbad23 View commit details

   Browse the repository at this point in the history