non_constant_identifier_names should not be reported for externals?

[DanTup]

The following code triggers non_constant_identifier_names:

class Foo {
  /// The uuid of the user.
  external String get UID;
}

Given the implementation is external, it's probably not safe to rename this field in the Dart code so maybe the lint should exclude externals?

(this was used in Dart-Code/Dart-Code#4775 as an example, although the issue itself was about placement of the ignore rather than whether the lint should be triggered)

[bwilkerson]

This probably applies to any name related lints, not just non_constant_identifier_names.

[pq]

Related conversation in #3000.

[DanTup]

Oh, is this an exact dupe of that one? I don't know how I missed that when I searched 🙃 (I do occasionally search for existing issues, and I did this time 😄)