diff --git a/introduction.tex b/introduction.tex index 61b498d..7b9d1bf 100644 --- a/introduction.tex +++ b/introduction.tex @@ -247,7 +247,6 @@ input is e.m(e); \begin{recap}\textbf{TI for FGJ without Wildcards:} - usually the type of e must be subtypes of the method parameters - in case of a polymorphic method: type placeholders resemble type parameters -\end{itemize} \end{recap} involving wildcards: - depending on the type of e a capture conversion must be applied first