Issues

• Discuss warnings for accidental self-calls after function shadowing

  argotorg/solcore#617 · Filter by author Y-Nak opened on Oct 12, 2026

• Inlining discards side effects in unused arguments

  argotorg/solcore#616 · Filter by author Y-Nak opened on Oct 12, 2026

• Runtime memory writes do not invalidate compile-time heap values

  argotorg/solcore#615 · Filter by author Y-Nak opened on Oct 12, 2026

• Yul constant substitution loses lexical scope

  argotorg/solcore#614 · Filter by author Y-Nak opened on Oct 12, 2026

• Type witnesses ignore renamed Proxy imports

  argotorg/solcore#613 · Filter by author Y-Nak opened on Oct 12, 2026

• User-defined t_closure types trigger generated-closure handling

  argotorg/solcore#612 · Filter by author Y-Nak opened on Oct 12, 2026

• Function types lose the arity of a single tuple parameter

  argotorg/solcore#611 · Filter by author Y-Nak opened on Oct 12, 2026

• Tabled solver rejects a storage assignment accepted by the legacy solver

  argotorg/solcore#610 · Filter by author Y-Nak opened on Oct 12, 2026

• ABI validation misses parameterized types and selector collisions

  argotorg/solcore#609 · Filter by author Y-Nak opened on Oct 12, 2026

• Primitive word is advertised as uint256 but lacks external ABI evidence

  argotorg/solcore#608 · Filter by author Y-Nak opened on Oct 12, 2026

• Runtime main accepts parameters without an argument source

  argotorg/solcore#607 · Filter by author Y-Nak opened on Oct 12, 2026

• Instance methods can violate the instantiated trait signature

  argotorg/solcore#606 · Filter by author Y-Nak opened on Oct 12, 2026

• The frontend with legacy typeclass resolution accepts calls to non-callable word values

  argotorg/solcore#605 · Filter by author Y-Nak opened on Oct 12, 2026

• Single dynamic tuple return metadata does not match its encoder

  argotorg/solcore#604 · Filter by author Y-Nak opened on Oct 12, 2026

• Static variant ABI head size still counts nested Generic tags

  argotorg/solcore#603 · Filter by author Y-Nak opened on Oct 12, 2026

• Derived variant decoder accepts an unknown constructor tag

  argotorg/solcore#602 · Filter by author Y-Nak opened on Oct 12, 2026

• Generic Contracts

  argotorg/solcore#601 · Filter by author czepluch opened on Oct 8, 2026

• Exposing module functions as public contract functions

  argotorg/solcore#600 · Filter by author czepluch opened on Oct 8, 2026
  1

• syntax suggestion: Spell trait implementations as impl Trait for Type

  argotorg/solcore#596 · Filter by author czepluch opened on Sep 29, 2026

• Reverting match arms need a dummy return

  argotorg/solcore#590 · Filter by author czepluch opened on Sep 23, 2026
  1

• Contract field initializers are parsed and silently ignored

  argotorg/solcore#589 · Filter by author czepluch opened on Sep 23, 2026

• user feedback: ADT-typed contract fields are implicitly initialized to the first constructor

  argotorg/solcore#588 · Filter by author czepluch opened on Sep 23, 2026
  3

• user feedback: Rename lam to lambda and give the unit type a name

  argotorg/solcore#587 · Filter by author czepluch opened on Sep 23, 2026

• Superclass constraints on a trait are not checked when an impl is declared

  argotorg/solcore#586 · Filter by author czepluch opened on Sep 23, 2026

• Overlapping impls from different modules are not rejected

  argotorg/solcore#585 · Filter by author czepluch opened on Sep 23, 2026