Changes

origin/trunk-#4802 (Jul 11, 2025, 9:45:24 AM)

1. typechecker: fix an internal error due to wrong exception — Florian Angeletti / githubweb

origin/trunk-#4801 (Jul 10, 2025, 2:53:51 PM)

1. Refactor post_process of signature merging — clement.blaudeau / githubweb
2. Update comment and Changelog — clement.blaudeau / githubweb
3. Address review comments — clement.blaudeau / githubweb
4. Update comment — clement.blaudeau / githubweb

origin/trunk-#4800 (Jul 10, 2025, 6:56:45 AM)

1. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) — noreply / githubweb