Bump cairo-lang-sierra-to-casm from 2.17.0 to 2.20.0

[dependabot]

Bumps cairo-lang-sierra-to-casm from 2.17.0 to 2.20.0.

Release notes

Sourced from cairo-lang-sierra-to-casm's releases.

v2.20.0

What's Changed

Highlights

• Tuple element access via t.0 syntax. Tuple elements can now be accessed positionally with dot notation (t.0, t.1, …), including nested access, assignments, ref arguments, and access through snapshots. starkware-libs/cairo#10111 starkware-libs/cairo#10153
• #[panic_with] is deprecated. Using the attribute without opting in via #[feature("deprecated-panic-with")] now emits a warning; prefer plain calculations (now supported in const context) or explicit .expect(...) calls. As part of this, the generated wrapper functions were removed from the corelib — see the breaking change under Corelib below. starkware-libs/cairo#10096
• Faster incremental recompilation. Syntax node ids are now kept stable across reparses and plugin-generated files are cached, restoring salsa early cutoff so a structure-preserving edit no longer re-walks the rest of the file — noticeably speeding up the language server. starkware-libs/cairo#10105 starkware-libs/cairo#10164

Features

• Support tuple element access via t.0 syntax. starkware-libs/cairo#10111 starkware-libs/cairo#10153
• Deprecated the #[panic_with] attribute; opt in with #[feature("deprecated-panic-with")] to silence the warning. starkware-libs/cairo#10096
• Warn (E2201) when an extern type or function is declared outside the core library; suppress with #[allow(extern_outside_corelib)]. starkware-libs/cairo#10147
• Support struct-update (..base) syntax in const expressions. starkware-libs/cairo#10136
• Evaluate !, &, |, and ^ on bool operands in const contexts. starkware-libs/cairo#10212
• Populate MacroPluginMetadata::allowed_features so macro plugins can honor #[feature(...)]. starkware-libs/cairo#10094

Bug Fixes

• Reject types that are (or transitively contain) a phantom type when used as values, in signatures, or as array elements, including nested and cyclic cases (E2019), instead of silently compiling or hitting an ICE. starkware-libs/cairo#10120 starkware-libs/cairo#10169 starkware-libs/cairo#10171 starkware-libs/cairo#10175
• Disable Felt252Dict construction for illegal value types. starkware-libs/cairo#10118
• Emit a diagnostic (E2075) for glob (*) use items in statement position instead of silently accepting them. starkware-libs/cairo#10148
• Reject #[default] on a struct member instead of silently ignoring it. starkware-libs/cairo#10228
• Fixed derive(Hash)/derive(Serde) codegen for enums, and sanitized the generated hash/serde implementations. starkware-libs/cairo#10080 starkware-libs/cairo#10117
• Emit derive member bounds for associated-type-path members. starkware-libs/cairo#10176
• Validate the quotient in const DivRem to avoid a signed MIN/-1 ICE. starkware-libs/cairo#10140
• Substitute the result of generic const function calls with the concrete call-site types. starkware-libs/cairo#10143
• Include captured_types in the closure occurs-check. starkware-libs/cairo#10086
• Don't ICE on a Deref impl with the wrong number of associated types. starkware-libs/cairo#10183
• Don't ICE when an impl provides an associated item of the wrong kind. starkware-libs/cairo#10206
• Report every invalid associated-item constraint, not just the first. starkware-libs/cairo#10207
• Don't ICE on a wrong generic-argument count reached through a local use alias. starkware-libs/cairo#10211
• Report a glob name collision of non-visible items as not-visible rather than ambiguous. starkware-libs/cairo#10209
• Apply feature/visibility gating to glob re-exports of generic items. starkware-libs/cairo#10217
• Enforce the fixed-size-array size cap on the type form. starkware-libs/cairo#10218
• Attribute format!/print! bracket errors to the right macro. starkware-libs/cairo#10222
• writeln!(f) with no format string now writes a newline. starkware-libs/cairo#10182
• Apply full type-based diagnostics to all parts of a function signature. starkware-libs/cairo#10170
• Removed an extra diagnostic emitted for type mismatches on missing. starkware-libs/cairo#10121
• Fixed punctuation/newline of bare crate-root diagnostics. starkware-libs/cairo#10087
• Skipped-token diagnostic now spans the token, not its leading comment. starkware-libs/cairo#10088
• Validate the literal in a negative const generic argument, and anchor literal-validation diagnostics at the token text. starkware-libs/cairo#10091 starkware-libs/cairo#10103
• Treat //// as a regular comment, not a doc comment. starkware-libs/cairo#10107
• Make macro a valid recovery terminal and tree token. starkware-libs/cairo#10149
• Stop block recovery at a following control-flow statement. starkware-libs/cairo#10227
• Dedup panic_destruct calls for a variable at a shared panic location. starkware-libs/cairo#10205
• Normalize storage_base_address_from_felt252 const folding. starkware-libs/cairo#10210
• Prune usage after change promotion in loop usage finalization. starkware-libs/cairo#10201
• Name macro-call modules by macro name and offset instead of raw call text. starkware-libs/cairo#10197
• Close the ] in the FixedSizeArray type short name. starkware-libs/cairo#10172
• Fixed a from_trace panic by profiling coupon_call like function_call in the runner. starkware-libs/cairo#10081
• Make inline doc links with markup point to their URL. starkware-libs/cairo#10151

... (truncated)

Commits

• eea264f Bumped version to v2.20.0. (#10244)
• 8518317 Bumped version to v2.20.0-rc.2. (#10234)
• 9c15474 Merged main into v2.20.0 (#10233)
• fd83748 Fixed conflicts.
• e05c2cb Merge remote-tracking branch 'origin/main' into orizi/merged-main-into-v2.20.0
• 628e3e5 Add params info to functions debug info (#10225)
• ec3c9e4 fix(plugins): reject #[default] on a struct member (#10228)
• 64fa77c ci: retry rate-limited crate publishes during release (#10232)
• 1ed257a fix(parser): stop block recovery at a following control-flow statement (#10227)
• b5c1cc6 Merged v2.19.4 into main (#10226)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[dependabot]

OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version or @dependabot ignore this minor version. You can also ignore all major, minor, or patch releases for a dependency by adding an ignore condition with the desired update_types to your config file.

If you change your mind, just re-open this PR and I'll resolve any conflicts on it.