Nilstrieb bc7489c546

Rollup merge of #121286 - gurry:constprop-lint-rename, r=oli-obk ...

Rename `ConstPropLint` to `KnownPanicsLint`

`OverflowLint` is a clearer name because it communicates what the lint does instead of the underlying mechanism it uses (const propagation) which should be of secondary concern.

`OverflowLint` isn't the most accurate name because the lint looks for other errors as well such as division by zero not just overflows, but I couldn't think of another equally succinct name.

As a part of this change. I've also added/updated some of the comments.

cc ```@RalfJung``` ```@oli-obk``` for visibility in case you go looking for the lint using the old name.

Edit:

Changed the name from `OverflowLint` to `KnownPanicsLint`

2024-02-20 15:13:53 +01:00

..

src

Rollup merge of #121286 - gurry:constprop-lint-rename, r=oli-obk

2024-02-20 15:13:53 +01:00

Cargo.toml

…

messages.ftl

…