Auto merge of #144873 - cjgillot:implications, r=lqd

Implement `stability_implications` without a visitor.

Since rust-lang/rust#143845, the `Annotator` visitor was a no-op when the crate is not staged_api. This PR avoids using a visitor altogether, making `stability_implications` truly a no-op in most cases.

Author: bors