From 9daf5ce8ef2f2bfdfccda8b141f0a355bb6d1fe9 Mon Sep 17 00:00:00 2001 From: Andreas Stadelmeier Date: Thu, 7 Mar 2024 10:00:10 +0100 Subject: [PATCH] Fix --- introduction.tex | 1 - 1 file changed, 1 deletion(-) 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