Issues from differential semantic drift analysis (a7721303 to b123b7c3) #8980

Found by differential semantic drift analysis from a7721303 to b123b7c3.

These are the results of semantic drift analysis of the 119 commits merged since the previous round (#8768). The analysis covered the new language representations and every consumer that matches on them, the leftovers of removals and refactors, the OCaml and Rust build systems side by side, and the changelog, semantic diff and CI tooling. Each finding was checked by a second, independent pass against master and against existing issues and pull requests; none repeats an item of #8712 or #8768. Every issue states what is broken and where, and a separately labelled speculation on the cause.

In numbers: 11 issues covering 23 findings: 2 behaviour bugs and 1 test that hides failures (3 issues), 10 inconsistencies between docs, diagnostics, schema, changelog or tools and the code (6 issues), 3 pieces of duplicated logic (1 issue) and 7 dead or stale items (1 issue). Of the ten issues from the previous round, #8770 fixed nine; #8762 was closed deliberately.

Behaviour

• let delete and let $$delete produce a duplicate ES export and an overwritten CommonJS export #8974 let delete and let $$delete produce a duplicate ES export and an overwritten CommonJS export
• genType emits char as a TypeScript type #8975 genType emits char as a TypeScript type
• concurrent_async_context reports a cleanup error instead of the compile failure and leaks its temp dir #8979 concurrent_async_context reports a cleanup error instead of the compile failure and leaks its temp dir

Inconsistencies

• make test-rewatch is documented as the Rust build system's test command but tests the OCaml one #8969 make test-rewatch is documented as the Rust build system's test command but tests the OCaml one
• Build schema says namespace-entry without a namespace has no effect; rescript rejects it #8970 Build schema says namespace-entry without a namespace has no effect; rescript rejects it
• Unreleased changelog fragments that no longer describe the release #8971 Unreleased changelog fragments that no longer describe the release
• yarn test-commit-records is not run in CI #8972 yarn test-commit-records is not run in CI
• The @as error message omits float and bigint, which @as accepts #8973 The @as error message omits float and bigint, which @as accepts
• Doc-comment attributes: editor analysis accepts @ocaml.doc/@ns.doc, genType and the printer do not #8978 Doc-comment attributes: editor analysis accepts @ocaml.doc/@ns.doc, genType and the printer do not

Duplication and dead code

• Logic maintained in several copies: load-path lookup, identifier classifier, ident hash sets #8976 Logic maintained in several copies: load-path lookup, identifier classifier, ident hash sets
• Dead code, stale comments and unused test inputs left by recent changes #8977 Dead code, stale comments and unused test inputs left by recent changes

🤖 Generated with Claude Code