Skip to content

Commit

Permalink
restore a bit of spec language that went missing
Browse files Browse the repository at this point in the history
the language in question was added by Adriaan in scala#7680
but then accidentally got removed in 2020 by scala#7432

I looked through other spec commits in that date span and
didn't find anything else that went missing
  • Loading branch information
SethTisue committed Nov 23, 2022
1 parent bfedc2b commit af41900
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion spec/06-expressions.md
Expand Up @@ -1526,7 +1526,9 @@ question: given

- A parameterized method ´m´ of type `(´p_1:T_1, \ldots , p_n:T_n´)´U´` is
_as specific as_ some other member ´m'´ of type ´S´ if ´m'´ is [applicable](#function-applications)
to arguments `(´p_1 , \ldots , p_n´)` of types ´T_1 , \ldots , T_n´.
to arguments `(´p_1 , \ldots , p_n´)` of types ´T_1 , \ldots , T_last´;
if ´T_n´ denotes a repeated parameter (it has shape ´T*´), and so does ´m'´'s last parameter,
´T_last´ is taken as ´T´, otherwise ´T_n´ is used directly.
- A polymorphic method of type `[´a_1´ >: ´L_1´ <: ´U_1 , \ldots , a_n´ >: ´L_n´ <: ´U_n´]´T´` is
as specific as some other member of type ´S´ if ´T´ is as specific as ´S´
under the assumption that for ´i = 1 , \ldots , n´ each ´a_i´ is an abstract type name
Expand Down

0 comments on commit af41900

Please sign in to comment.