Rename ${length()} to ${len()}#124987
Conversation
|
Failed to set assignee to
|
|
Any changes should probably occur with the authorization of the responsible team. cc @markbt |
|
r? lang |
|
Nominating for team discussion. I'm pretty sure this is lang, but I also would be interested in libs-api's opinion for things like this (similar to |
|
We discussed this in today's @rust-lang/libs-api meeting. We had a consensus that the standard library consistently uses "len" and not "length", and we recommend that this should be consistent with that as well. |
|
We discussed this in today's @rust-lang/lang meeting. We agreed that we should rename this for consistency with usage in the standard library. Please go ahead with the rename. |
|
hmm, it seems T-libs-api!Josh Triplett and T-lang!Josh Triplett gave it the go-ahead, so @bors r=c410-f3r,joshtriplett,joshtriplett that's how it works, right? :^) |
|
☀️ Test successful - checks-actions |
|
Finished benchmarking commit (b71e8cb): 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)Results (primary 5.8%, secondary 3.8%)This 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: 678.078s -> 679.795s (0.25%) |
Implements the rename suggested in #122808 (comment)
r? @c410-f3r