Fix a JET error around matching methods for `push!(...)`#42

Closed

DilumAluthge wants to merge 1 commit into

dpa/173-forward-port

Commits on Feb 22, 2026

Fix a JET error around matching methods for `push!(...)` (#173)
DilumAluthge
committed