[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API
#6153
| Job | Run time |
|---|---|
| 1s | |
| 1s |
List.size to List._len and refactor usage of the field to use the public API
#6153
| Job | Run time |
|---|---|
| 1s | |
| 1s |