Implement trait const stability by fee1-dead · Pull Request #133999 · rust-lang/rust (original) (raw)

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Either a const fn that contains the ~const Tr bound or the callee of a const method.

Sorry I don't follow. If you had said "always the const fn that contains the thing we are stability-checking", i.e., the caller, that would make more sense to me. Is this a typo?

The existing const checks have nothing like this, as far as I can see. I have no idea what it means here that we are skipping the check if there is no parent. We should always know the function we are in and that defines whether we are in recursive-const-stability mode.