From 1d31e4d0f672a105df32d2cd00c75ed9722b1c44 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Mon, 10 May 2021 20:53:46 +0200 Subject: [PATCH] Added constraint that the colliding members must be concrete --- specification/dartLangSpec.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index 8a69a7b0ac..a5f7765f40 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -5501,10 +5501,10 @@ \subsection{Mixin Application} Let \DefineSymbol{L_M} be the library containing the declaration of $M$. \LMHash{}% -Assume that $S$ has a member $m_S$ which is accessible to $L_M$, +Assume that $S$ has a concrete member $m_S$ which is accessible to $L_M$, that $m_S$ has the name $n$ which is private (\commentary{so $m_S$ is declared in $L_M$}), -and that $M$ declares a member $m_M$ which is also named $n$ +and that $M$ declares a concrete member $m_M$ which is also named $n$ \commentary{(note that $m_M$ is also declared in $L_M$)}. In this case a compile-time error occurs.