Block a user
Spezifizierung der FC
Ist vermutlich in der FC nicht berücksichtigt. Bei Generics mit Bounds muss man eben am Ende der Unifikation kontrollieren, ob das Ergebnis respektive der Bounds erlaubt ist.
Created attachment 3
Unify-Regel aus Schritt 4
Aus der Studienarbeit von Florian Steuerer stammt das Bild im Anhang.
Was soll die folgende Stelle bedeuten:
O < C<O_1, O_2, ...> € FC(<)
Was…
commit a69b8278054b5505a47f417e5abe4bddb9f667be
Test: typeinference.GenericsTest
Problem:
Unify erzeugt ein Ergebnis, welches Constraints der Form Typeplaceholder = Typeplaceholder enthält.…
commit 9607fcf98073dce54501589d331f4bff040add5c
Test: typeinference.FiniteClosureTest
Fehler:
de.dhbwstuttgart.exceptions.DebugException
at de.dhbwstuttgart.typeinference.unify.RuleSet.red…
Substitution ? ext/sup TPH [TPH -> ? ext/sup Type] funktioniert nicht/ Problem in SetWildcardType
OLD BUG