Commit 2025-01-20 16:09 9f8c595d
View on Github →style: replace field x y := match x, y with
with field
(#20866)
This is valid and shorter syntax.
style: replace field x y := match x, y with
with field
(#20866)
This is valid and shorter syntax.