Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Adjust wording about extension vs. static method conflicts #2207

Merged
merged 3 commits into from
Apr 30, 2022
Merged

Adjust wording about extension vs. static method conflicts #2207

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
eb23828
Adjust wording about extension/Object_static method conflicts
eernstg Apr 19, 2022
343ac7c
Review response
eernstg Apr 19, 2022
cbe2331
Review response
eernstg Apr 21, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 9 additions & 2 deletions specification/dartLangSpec.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,8 @@
% - Adjust and clarify simple string interpolation (to allow `'$this'`, which
% is already implemented and useful).
% - Add several lexical rules about identifiers, clarifying different kinds.
% - Clarify the conflicts between extension members and `Object` instance
% members.
%
% 2.14
% - Add constraint on type of parameter which is covariant-by-declaration in
Expand Down Expand Up @@ -5837,8 +5839,13 @@ \section{Extensions}
\item $D$ declares a type parameter named \code{E}.
\item $D$ declares a member whose basename is the name of a type parameter
of $D$.
\item $D$ declares a member (static or not) with the same basename as a
member declared by the built-in class \code{Object}.
\item $D$ declares an instance member or a static member whose basename is
eernstg marked this conversation as resolved.
Show resolved Hide resolved
\code{hashCode}, \code{noSuchMethod}, \code{runtimeType}, or \code{toString}.
Or $D$ declares an operator named \lit{==}.
eernstg marked this conversation as resolved.
Show resolved Hide resolved
\commentary{%
That is, a member whose basename is also the name of
an instance member that every object has.%
}
\item $D$ declares a constructor.
\item $D$ declares an instance variable.
\item $D$ declares an abstract member.
Expand Down