push-wxqmtulyouxs - Branch - paradigmxyz/solar

feat(sema): implement array slice implicit conversion

#623

Comparing

push-wxqmtulyouxs

(

bcfbefd

) with

main

(

35448df

)

Untouched: 35

Ignored: 6

Benchmarks

Passed

Vm/lower

benches/benches/criterion.rs::benches::parser_benches::parser

+3%

2.9 ms2.8 ms

empty/lower

benches/benches/criterion.rs::benches::parser_benches::parser

+1%

47.5 µs47.1 µs

verifier/lex

benches/benches/criterion.rs::benches::parser_benches::parser

+1%

195.2 µs194 µs

UniswapV3/lower

benches/benches/criterion.rs::benches::parser_benches::parser

+1%

4.8 ms4.8 ms

Counter/lower

benches/benches/criterion.rs::benches::parser_benches::parser

+1%

94.9 µs94.4 µs

safeconsole/lower

benches/benches/criterion.rs::benches::parser_benches::parser

20.8 ms20.7 ms

safeconsole/parse

benches/benches/criterion.rs::benches::parser_benches::parser

18.4 ms18.3 ms

UniswapV3/lex

benches/benches/criterion.rs::benches::parser_benches::parser

1.5 ms1.5 ms

session/new

benches/benches/criterion.rs::benches::micro_benches::micro

122.6 µs122.3 µs

Solady/lower

benches/benches/criterion.rs::benches::parser_benches::parser

45.4 ms45.3 ms

Seaport/lex

benches/benches/criterion.rs::benches::parser_benches::parser

5.9 ms5.9 ms

Solarray/lex

benches/benches/criterion.rs::benches::parser_benches::parser

916.4 µs915.5 µs

Vm/lex

benches/benches/criterion.rs::benches::parser_benches::parser

968.2 µs967.3 µs

console/lex

benches/benches/criterion.rs::benches::parser_benches::parser

1.3 ms1.3 ms

Seaport/parse

benches/benches/criterion.rs::benches::parser_benches::parser

13.2 ms13.2 ms

OptimizorClub/lower

benches/benches/criterion.rs::benches::parser_benches::parser

1.8 ms1.8 ms

session/enter_sequential

benches/benches/criterion.rs::benches::micro_benches::micro

75.2 µs75.2 µs

Optimism/lex

benches/benches/criterion.rs::benches::parser_benches::parser

63.6 ms63.6 ms

UniswapV3/parse

benches/benches/criterion.rs::benches::parser_benches::parser

3.7 ms3.7 ms

source_map/new_source_file

benches/benches/criterion.rs::benches::micro_benches::micro

9.2 ms9.2 ms

verifier/lower

benches/benches/criterion.rs::benches::parser_benches::parser

745.7 µs745.7 µs

verifier/parse

benches/benches/criterion.rs::benches::parser_benches::parser

551.2 µs551.2 µs

Optimism/parse

benches/benches/criterion.rs::benches::parser_benches::parser

163.7 ms163.7 ms

safeconsole/lex

benches/benches/criterion.rs::benches::parser_benches::parser

6.9 ms6.9 ms

console/parse

benches/benches/criterion.rs::benches::parser_benches::parser

3.4 ms3.4 ms

Solady/parse

benches/benches/criterion.rs::benches::parser_benches::parser

38.6 ms38.6 ms

Solady/lex

benches/benches/criterion.rs::benches::parser_benches::parser

16.8 ms16.8 ms

Seaport/lower

benches/benches/criterion.rs::benches::parser_benches::parser

16.2 ms16.2 ms

OptimizorClub/lex

benches/benches/criterion.rs::benches::parser_benches::parser

510.6 µs511.5 µs

OptimizorClub/parse

benches/benches/criterion.rs::benches::parser_benches::parser

1.3 ms1.3 ms

Solarray/parse

benches/benches/criterion.rs::benches::parser_benches::parser

2.9 ms2.9 ms

Solarray/lower

benches/benches/criterion.rs::benches::parser_benches::parser

-1%

3.9 ms3.9 ms

Counter/parse

benches/benches/criterion.rs::benches::parser_benches::parser

-1%

45.5 µs45.9 µs

console/lower

benches/benches/criterion.rs::benches::parser_benches::parser

-1%

5.3 ms5.4 ms

Vm/parse

benches/benches/criterion.rs::benches::parser_benches::parser

-1%

2.1 ms2.2 ms

Ignored

session/enter/reentrant

benches/benches/criterion.rs::benches::micro_benches::micro

Ignored

169.9 µs169.9 µs

session/enter

benches/benches/criterion.rs::benches::micro_benches::micro

Ignored

+25%

38.9 µs31 µs

session/enter_sequential/reentrant

benches/benches/criterion.rs::benches::micro_benches::micro

Ignored

80.8 µs80.8 µs

empty/parse

benches/benches/criterion.rs::benches::parser_benches::parser

Ignored

-1%

12.3 µs12.5 µs

empty/lex

benches/benches/criterion.rs::benches::parser_benches::parser

Ignored

1.5 µs1.5 µs

Counter/lex

benches/benches/criterion.rs::benches::parser_benches::parser

Ignored

+1%

11.7 µs11.6 µs

Commits

Click on a commit to change the comparison range

Base

main

35448df

+0.09%

feat(sema): implement array slice implicit conversion Add implicit type conversion for array slices to their underlying array type. Slices can now convert to: - The exact underlying type (e.g., `uint256[] calldata slice` → `uint256[] calldata`) - Memory arrays of the same element type (e.g., `uint256[] calldata slice` → `uint256[] memory`) Also fixes `is_sliceable()` to peel refs so reference types like `uint256[] calldata` are correctly recognized as sliceable. Closes #621 See: https://docs.soliditylang.org/en/latest/types.html#array-slices

bcfbefd

19 hours ago

by onbjerg

Home Terms Privacy Docs