Build #2862 (May 19, 2025, 6:38:26 PM)

1. set scope in expand_abbrev rather than rely on update_scope (commit: 50f133a) (details / githubweb)
2. use Int.max rather than generic max (commit: 34fe58a) (details / githubweb)
3. add log and comments; small change in instance_parameterized_type (commit: 475fec7) (details / githubweb)

Started by GitHub push by gasche

• origin/trunk