Skip to content

fix: constrain output dtype against the output element type in ndarray/flatten-by#12630

Draft
Planeshifter wants to merge 1 commit into
developfrom
philipp/fix-ndarray-flatten-by-dtype-constraint
Draft

fix: constrain output dtype against the output element type in ndarray/flatten-by#12630
Planeshifter wants to merge 1 commit into
developfrom
philipp/fix-ndarray-flatten-by-dtype-constraint

Conversation

@Planeshifter
Copy link
Copy Markdown
Member

Description

What is the purpose of this pull request?

This pull request:

  • fixes the dtype constraint in the dtype-selecting overload of @stdlib/ndarray/flatten-by. The overload constrained the dtype key against the input element-type map (W extends keyof DataTypeMap<T>) while indexing the output map (DataTypeMap<V>[W]). Since the callback may map the input element type T to a different output type V, the constraint should reference the output map (W extends keyof DataTypeMap<V>), matching how the sibling flatten constrains its dtype key. keyof DataTypeMap<T> and keyof DataTypeMap<V> resolve to the same key set, so there is no change to emitted assertions; the fix is for correctness/consistency.

Related Issues

Does this pull request have any related issues?

No.

Questions

Any questions for reviewers of this pull request?

No.

Other

Any other information relevant to this pull request?

Found during a TypeScript-declaration audit of the ndarray namespace.

Checklist

AI Assistance

When authoring the changes proposed in this PR, did you use any kind of AI assistance?

  • Yes
  • No

If you answered "yes" above, how did you use AI assistance?

  • Code generation (e.g., when writing an implementation or fixing a bug)
  • Test/benchmark generation
  • Documentation (including examples)
  • Research and understanding

Disclosure

These changes were identified by a Claude Code audit of the ndarray namespace's TypeScript declarations and applied with Claude Code assistance; the changes were reviewed by myself.


@stdlib-js/reviewers

…ay/flatten-by`

The dtype-selecting overload constrained the dtype key against the input
element-type map (`W extends keyof DataTypeMap<T>`) while indexing the
output map (`DataTypeMap<V>[W]`). Because the callback may map the input
element type `T` to a different output type `V`, the constraint should
reference the output map: `W extends keyof DataTypeMap<V>`. This matches
how the sibling `flatten` constrains its dtype key against the map it
indexes.

---
type: pre_commit_static_analysis_report
description: Results of running static analysis checks when committing changes.
report:
  - task: lint_filenames
    status: passed
  - task: lint_editorconfig
    status: passed
  - task: lint_markdown_pkg_readmes
    status: na
  - task: lint_markdown_docs
    status: na
  - task: lint_markdown
    status: na
  - task: lint_package_json
    status: na
  - task: lint_repl_help
    status: na
  - task: lint_javascript_src
    status: na
  - task: lint_javascript_cli
    status: na
  - task: lint_javascript_examples
    status: na
  - task: lint_javascript_tests
    status: na
  - task: lint_javascript_benchmarks
    status: na
  - task: lint_python
    status: na
  - task: lint_r
    status: na
  - task: lint_c_src
    status: na
  - task: lint_c_examples
    status: na
  - task: lint_c_benchmarks
    status: na
  - task: lint_c_tests_fixtures
    status: na
  - task: lint_shell
    status: na
  - task: lint_typescript_declarations
    status: passed
  - task: lint_typescript_tests
    status: passed
  - task: lint_license_headers
    status: passed
---
@stdlib-bot
Copy link
Copy Markdown
Contributor

Coverage Report

Package Statements Branches Functions Lines
ndarray/flatten-by $\color{green}239/239$
$\color{green}+100.00\%$
$\color{green}37/37$
$\color{green}+100.00\%$
$\color{green}1/1$
$\color{green}+100.00\%$
$\color{green}239/239$
$\color{green}+100.00\%$

The above coverage report was generated for the changes in this PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants