origin/trunk-#4843 (Sep 23, 2025, 11:57:04 PM)

Started by upstream project main build number 4843
originally caused by:

• Started by GitHub push by lthls

• origin/trunk

1. Use Const_immstring for all constant strings created by the compiler (details / githubweb)
2. Introduce Lambda.lambda_of_const (details / githubweb)
3. Introduce Lambda.constant type (details / githubweb)
4. Remove Lambda.Const_base indirection (details / githubweb)
5. Changes for PR14260 (details / githubweb)