[L] Change in dart/sdk[main]: meta: Annotate nonVirtual with TargetKind.overridableMember

0 views
Skip to first unread message

Brian Wilkerson (Gerrit)

unread,
Dec 19, 2025, 12:48:26 PM (2 days ago) Dec 19
to Samuel Rawlins, Brian Wilkerson, Paul Berry, Commit Queue, dart-analys...@google.com, rev...@dartlang.org
Attention needed from Paul Berry and Samuel Rawlins

Brian Wilkerson added 1 comment

File pkg/analyzer/lib/src/error/annotation_verifier.dart
Line 412, Patchset 3 (Latest): if (parent.parent?.parent is ExtensionTypeDeclaration ||
Brian Wilkerson . unresolved

Why is this case considered to be an overridable-member? (That is, why isn't the target enough to catch this case?)

Open in Gerrit

Related details

Attention is currently required from:
  • Paul Berry
  • Samuel Rawlins
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: Ibcde2f99cf53460bff636bfc8bbf07e80779a942
Gerrit-Change-Number: 469104
Gerrit-PatchSet: 3
Gerrit-Owner: Samuel Rawlins <sraw...@google.com>
Gerrit-Reviewer: Brian Wilkerson <brianwi...@google.com>
Gerrit-Reviewer: Paul Berry <paul...@google.com>
Gerrit-Reviewer: Samuel Rawlins <sraw...@google.com>
Gerrit-Attention: Paul Berry <paul...@google.com>
Gerrit-Attention: Samuel Rawlins <sraw...@google.com>
Gerrit-Comment-Date: Fri, 19 Dec 2025 17:48:24 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

Samuel Rawlins (Gerrit)

unread,
Dec 19, 2025, 2:27:31 PM (2 days ago) Dec 19
to Brian Wilkerson, Paul Berry, Commit Queue, dart-analys...@google.com, rev...@dartlang.org
Attention needed from Brian Wilkerson and Paul Berry

Samuel Rawlins added 1 comment

File pkg/analyzer/lib/src/error/annotation_verifier.dart
Line 412, Patchset 3 (Latest): if (parent.parent?.parent is ExtensionTypeDeclaration ||
Brian Wilkerson . unresolved

Why is this case considered to be an overridable-member? (That is, why isn't the target enough to catch this case?)

Samuel Rawlins

I'm not sure. It's not documented. I could leave a TODO to look into the existing behavior.

Open in Gerrit

Related details

Attention is currently required from:
  • Brian Wilkerson
  • Paul Berry
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: Ibcde2f99cf53460bff636bfc8bbf07e80779a942
Gerrit-Change-Number: 469104
Gerrit-PatchSet: 3
Gerrit-Owner: Samuel Rawlins <sraw...@google.com>
Gerrit-Reviewer: Brian Wilkerson <brianwi...@google.com>
Gerrit-Reviewer: Paul Berry <paul...@google.com>
Gerrit-Reviewer: Samuel Rawlins <sraw...@google.com>
Gerrit-Attention: Brian Wilkerson <brianwi...@google.com>
Gerrit-Attention: Paul Berry <paul...@google.com>
Gerrit-Comment-Date: Fri, 19 Dec 2025 19:27:29 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Brian Wilkerson <brianwi...@google.com>
unsatisfied_requirement
open
diffy

Brian Wilkerson (Gerrit)

unread,
Dec 19, 2025, 2:30:36 PM (2 days ago) Dec 19
to Samuel Rawlins, Brian Wilkerson, Paul Berry, Commit Queue, dart-analys...@google.com, rev...@dartlang.org
Attention needed from Paul Berry and Samuel Rawlins

Brian Wilkerson voted and added 1 comment

Votes added by Brian Wilkerson

Code-Review+1

1 comment

File pkg/analyzer/lib/src/error/annotation_verifier.dart
Line 412, Patchset 3 (Latest): if (parent.parent?.parent is ExtensionTypeDeclaration ||
Brian Wilkerson . resolved

Why is this case considered to be an overridable-member? (That is, why isn't the target enough to catch this case?)

Samuel Rawlins

I'm not sure. It's not documented. I could leave a TODO to look into the existing behavior.

Brian Wilkerson

I don't care whether you add a TODO, but I think it's probably worth following up on at some point. Seems like we shouldn't need to special case anything here.

Open in Gerrit

Related details

Attention is currently required from:
  • Paul Berry
  • Samuel Rawlins
Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement satisfiedCode-Review
    • requirement satisfiedReview-Enforcement
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: comment
    Gerrit-Project: sdk
    Gerrit-Branch: main
    Gerrit-Change-Id: Ibcde2f99cf53460bff636bfc8bbf07e80779a942
    Gerrit-Change-Number: 469104
    Gerrit-PatchSet: 3
    Gerrit-Owner: Samuel Rawlins <sraw...@google.com>
    Gerrit-Reviewer: Brian Wilkerson <brianwi...@google.com>
    Gerrit-Reviewer: Paul Berry <paul...@google.com>
    Gerrit-Reviewer: Samuel Rawlins <sraw...@google.com>
    Gerrit-Attention: Paul Berry <paul...@google.com>
    Gerrit-Attention: Samuel Rawlins <sraw...@google.com>
    Gerrit-Comment-Date: Fri, 19 Dec 2025 19:30:33 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: Yes
    Comment-In-Reply-To: Brian Wilkerson <brianwi...@google.com>
    Comment-In-Reply-To: Samuel Rawlins <sraw...@google.com>
    unsatisfied_requirement
    satisfied_requirement
    open
    diffy

    Paul Berry (Gerrit)

    unread,
    Dec 20, 2025, 2:02:42 PM (yesterday) Dec 20
    to Samuel Rawlins, Brian Wilkerson, Commit Queue, dart-analys...@google.com, rev...@dartlang.org
    Attention needed from Samuel Rawlins

    Paul Berry voted and added 1 comment

    Votes added by Paul Berry

    Code-Review+1

    1 comment

    Patchset-level comments
    Open in Gerrit

    Related details

    Attention is currently required from:
    • Samuel Rawlins
    Submit Requirements:
    • requirement satisfiedCode-Owners
    • requirement satisfiedCode-Review
    • requirement satisfiedReview-Enforcement
    Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
    Gerrit-MessageType: comment
    Gerrit-Project: sdk
    Gerrit-Branch: main
    Gerrit-Change-Id: Ibcde2f99cf53460bff636bfc8bbf07e80779a942
    Gerrit-Change-Number: 469104
    Gerrit-PatchSet: 3
    Gerrit-Owner: Samuel Rawlins <sraw...@google.com>
    Gerrit-Reviewer: Brian Wilkerson <brianwi...@google.com>
    Gerrit-Reviewer: Paul Berry <paul...@google.com>
    Gerrit-Reviewer: Samuel Rawlins <sraw...@google.com>
    Gerrit-Attention: Samuel Rawlins <sraw...@google.com>
    Gerrit-Comment-Date: Sat, 20 Dec 2025 19:02:39 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: Yes
    satisfied_requirement
    open
    diffy
    Reply all
    Reply to author
    Forward
    0 new messages