Conversation
|
Some changes might have occurred in exhaustiveness checking cc @Nadrieril
cc @davidtwco, @compiler-errors, @TaKO8Ki Some changes occurred in src/tools/clippy cc @rust-lang/clippy Some changes might have occurred in exhaustiveness checking cc @Nadrieril Some changes occurred to MIR optimizations cc @rust-lang/wg-mir-opt Some changes occurred to the CTFE / Miri engine cc @rust-lang/miri |
|
Here is the table I worked from. Improvements:
Now I can look at a method name and have a pretty good chance of understanding how to use it. That was not the case before! |
|
the |
That's exactly why I want a different name, because it has an extra argument. Different signature, different name. |
|
☔ The latest upstream changes (presumably #120025) made this pull request unmergeable. Please resolve the merge conflicts. |
compiler-errors
left a comment
There was a problem hiding this comment.
r=me after rebasing
|
I rebased. @bors r=compiler-errors |
…rrors Fix naming in the lint API Methods for emit lints are named very inconsistently. This PR fixes that up. r? `@compiler-errors`
|
@bors r- conflicts |
…int_with_diagnostics`.
…emit_span_lint`.
|
I rebased again. Bumping priority because this is conflict-prone. @bors r=oli-obk p=1 |
|
☀️ Test successful - checks-actions |
|
Finished benchmarking commit (0011fac): comparison URL. Overall result: no relevant changes - no action needed@rustbot label: -perf-regression Instruction countThis benchmark run did not return any relevant results for this metric. Max RSS (memory usage)ResultsThis is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.
CyclesThis benchmark run did not return any relevant results for this metric. Binary sizeThis benchmark run did not return any relevant results for this metric. Bootstrap: 663.509s -> 662.56s (-0.14%) |
Methods for emit lints are named very inconsistently. This PR fixes that up.
r? @compiler-errors