JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues101 Pull Requests Actions Packages Projects Releases Wiki Activity

Tph4.jav #87

New Issue
Closed
opened 2022-08-08 12:51:26 +00:00 by pl · 1 comment
pl commented 2022-08-08 12:51:26 +00:00
Owner

commit: d54cd5e20a

Ergebnis
public class Tph4 {
public Tph4();
public <U, P, N, O> U m(N, O);
public AA m2(AA);
}

Solte aber folgendes Egebnis liefern:

public class Tph4 {
public Tph4();
public <O extends P, P extends U, N, O> U m(N, O);
public AA m2(AA);
}

Die Ausgabe der Simplified constraints ist eigentlich korrekt:
[(TPH O < TPH AA), (TPH P < TPH AA), (TPH AA < TPH U), (TPH AA < TPH P)]

commit: d54cd5e20a5c2de68f8278070445f937dea0a202 Ergebnis public class Tph4 { public Tph4(); public <U, P, N, O> U m(N, O); public <AA> AA m2(AA); } Solte aber folgendes Egebnis liefern: public class Tph4 { public Tph4(); public <O extends P, P extends U, N, O> U m(N, O); public <AA> AA m2(AA); } Die Ausgabe der Simplified constraints ist eigentlich korrekt: [(TPH O < TPH AA), (TPH P < TPH AA), (TPH AA < TPH U), (TPH AA < TPH P)]
dholle commented 2022-08-09 11:02:00 +00:00
Owner

[targetBytecode]

Ich habe zwei Dinge geändert. Der Rückgabetyp von Funktionsaufrufen ist jetzt auch eine Typvariable. Weiterhin gab es constraints X < X, diese werden nun nicht mehr ins resultset geschrieben.

[targetBytecode] Ich habe zwei Dinge geändert. Der Rückgabetyp von Funktionsaufrufen ist jetzt auch eine Typvariable. Weiterhin gab es constraints X < X, diese werden nun nicht mehr ins resultset geschrieben.
Sign in to join this conversation.
No Label
Codegen
No Milestone
No project
No Assignees dholle
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#87
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?