Skip to content

Port "Error on override used on dynamically named class members" + use proper JSDoc-related diagnostics #1043

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Conversation

Andarist
Copy link
Contributor

@Andarist Andarist commented Jun 4, 2025

@Copilot Copilot AI review requested due to automatic review settings June 4, 2025 14:15
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR ports changes from the referenced TypeScript PR to update error messages regarding misuse of the "override" modifier on dynamically named class members and to require a JSDoc override tag instead in JS files. Key changes include:

  • Updating error codes and messages in multiple test baseline files (e.g., from TS4114 to TS4119) for cases of override usage.
  • Adjusting the checker logic in internal/checker/checker.go to conditionally report diagnostics based on whether the file is a JS file.

Reviewed Changes

Copilot reviewed 15 out of 15 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
testdata/baselines/reference/submoduleAccepted/conformance/override_js3.errors.txt.diff Updates error messages from TS4114 to TS4119 for override errors in JS3 context
testdata/baselines/reference/submoduleAccepted/conformance/override_js2.errors.txt.diff Updates error messages from TS4114 to TS4119 in JS2 context
testdata/baselines/reference/submoduleAccepted/conformance/jsdocOverrideTag1.errors.txt.diff Adjusts error messages to require JSDoc comments with the @OverRide tag
testdata/baselines/reference/submodule/conformance/override_js3.errors.txt Updates baseline errors for override errors in the submodule JS3 file
testdata/baselines/reference/submodule/conformance/override_js2.errors.txt Updates baseline errors for override errors in the submodule JS2 file
testdata/baselines/reference/submodule/conformance/overrideLateBindableIndexSignature1(...).errors.txt.diff & .txt Removes outdated errors and adds updated errors for dynamic name scenarios
testdata/baselines/reference/submodule/conformance/overrideDynamicName1(...).errors.txt.diff & .txt Removes outdated errors and adds updated errors for dynamic name scenarios
testdata/baselines/reference/submodule/conformance/jsdocOverrideTag1.errors.txt Updates baseline errors for JSDoc override tag requirements
internal/checker/checker.go Adds conditional logic to select diagnostics based on whether the file is a JS file, differentiating between JSDoc and override modifier errors

memberHasOverrideModifier := hasOverrideModifier(member)
if baseWithThis == nil {
if memberHasOverrideModifier {
c.error(member, diagnostics.This_member_cannot_have_an_override_modifier_because_its_containing_class_0_does_not_extend_another_class, c.TypeToString(t))
c.error(member, core.IfElse(isJs, diagnostics.This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_its_containing_class_0_does_not_extend_another_class, diagnostics.This_member_cannot_have_an_override_modifier_because_its_containing_class_0_does_not_extend_another_class), c.TypeToString(t))
Copy link
Preview

Copilot AI Jun 4, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[nitpick] Consider extracting the diagnostic selection logic using core.IfElse into a helper function to reduce duplication and improve maintainability.

Copilot uses AI. Check for mistakes.

Comment on lines +4473 to +4484
c.error(member, core.IfElse(isJs, diagnostics.This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_it_is_not_declared_in_the_base_class_0_Did_you_mean_1, diagnostics.This_member_cannot_have_an_override_modifier_because_it_is_not_declared_in_the_base_class_0_Did_you_mean_1), c.TypeToString(baseWithThis), c.symbolToString(suggestion))
return
}
c.error(member, diagnostics.This_member_cannot_have_an_override_modifier_because_it_is_not_declared_in_the_base_class_0, c.TypeToString(baseWithThis))
c.error(member, core.IfElse(isJs, diagnostics.This_member_cannot_have_a_JSDoc_comment_with_an_override_tag_because_it_is_not_declared_in_the_base_class_0, diagnostics.This_member_cannot_have_an_override_modifier_because_it_is_not_declared_in_the_base_class_0), c.TypeToString(baseWithThis))
return
}
if baseProp != nil && len(baseProp.Declarations) != 0 && !memberHasOverrideModifier && c.compilerOptions.NoImplicitOverride.IsTrue() && node.Flags&ast.NodeFlagsAmbient == 0 {
baseHasAbstract := core.Some(baseProp.Declarations, hasAbstractModifier)
if !baseHasAbstract {
message := core.IfElse(ast.IsParameter(member),
diagnostics.This_parameter_property_must_have_an_override_modifier_because_it_overrides_a_member_in_base_class_0,
diagnostics.This_member_must_have_an_override_modifier_because_it_overrides_a_member_in_the_base_class_0)
core.IfElse(isJs, diagnostics.This_parameter_property_must_have_a_JSDoc_comment_with_an_override_tag_because_it_overrides_a_member_in_the_base_class_0, diagnostics.This_parameter_property_must_have_an_override_modifier_because_it_overrides_a_member_in_base_class_0),
core.IfElse(isJs, diagnostics.This_member_must_have_a_JSDoc_comment_with_an_override_tag_because_it_overrides_a_member_in_the_base_class_0, diagnostics.This_member_must_have_an_override_modifier_because_it_overrides_a_member_in_the_base_class_0))
Copy link
Preview

Copilot AI Jun 4, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[nitpick] Similarly, the diagnostic selection here could be refactored into a common helper to avoid repeating the core.IfElse pattern.

Copilot uses AI. Check for mistakes.

@jakebailey jakebailey changed the title Port Error on override used on dynamically named class members + use proper JSDoc-related diagnostics Port Error on override used on dynamically named class members + use proper JSDoc-related diagnostics Jun 4, 2025
@jakebailey jakebailey changed the title Port Error on override used on dynamically named class members + use proper JSDoc-related diagnostics Port "Error on override used on dynamically named class members" + use proper JSDoc-related diagnostics Jun 4, 2025
@jakebailey jakebailey added this pull request to the merge queue Jun 4, 2025
Merged via the queue into microsoft:main with commit df4e903 Jun 4, 2025
23 checks passed
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