<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass{article}

\begin{document}

\section{Generics sind notwendig}
Generics können nicht ignoriert werden.
Folgender Fall ist Typisierbar:

\begin{program}
&lt;T&gt; T m1(T x){
	return m2(x);
}

m2(x){
	m1(1);
	m2("Test");
	return m1(x);
}
\end{program}

Beim weglassen des Generics T wäre es aber nicht mehr möglich.
Dann erhält jeder Constraint, welcher in Verbindung mit der Methode m1 steht
den selben TPH.

\end{document}
</pre></body></html>