Auto merge of #120017 - nnethercote:lint-api, r=oli-obk · rust-lang/miri@447234c · GitHub

Commit

Auto merge of #120017 - nnethercote:lint-api, r=oli-obk

Browse files

Fix naming in the lint API

Methods for emit lints are named very inconsistently. This PR fixes that up.

r? `@compiler-errors`

Loading branch information

bors committed Jan 23, 2024

2 parents 40d296f + b831ce4 commit 447234c