@@ -1571,7 +1571,7 @@ $T$ is a value type; if it is a method type we apply
15711571means finding a substitution $\sigma$ of types $T_i$ for the type
15721572parameters $a_i$ such that
15731573
1574- - None of inferred types $T_i$ is a [ singleton type] ( 03-types.html#singleton-types )
1574+ - None of the inferred types $T_i$ is a [ singleton type] ( 03-types.html#singleton-types )
15751575- All type parameter bounds are respected, i.e.
15761576 $\sigma L_i <: \sigma a_i$ and $\sigma a_i <: \sigma U_i$ for $i = 1 , \ldots , n$.
15771577- The expression's type conforms to the expected type, i.e.
@@ -1608,7 +1608,7 @@ constraint system means
16081608finding a substitution $\sigma$ of types $T_i$ for the type parameters
16091609$a_i$ such that
16101610
1611- - None of inferred types $T_i$ is a [ singleton type] ( 03-types.html#singleton-types )
1611+ - None of the inferred types $T_i$ is a [ singleton type] ( 03-types.html#singleton-types )
16121612- All type parameter bounds are respected, i.e. $\sigma L_i <: \sigma a_i$ and
16131613 $\sigma a_i <: \sigma U_i$ for $i = 1 , \ldots , n$.
16141614- The method's result type $T'$ conforms to the expected type, i.e. $\sigma T' <: \sigma \mathit{pt}$.
@@ -1750,7 +1750,7 @@ a sub-expression of parameterless method type, is not evaluated in the expanded
17501750### Dynamic Member Selection
17511751
17521752The standard Scala library defines a trait ` scala.Dynamic ` which defines a member
1753- \@ invokeDynamic@ as follows:
1753+ ` applyDynamic ` as follows:
17541754
17551755``` scala
17561756package scala
0 commit comments