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

Signatur der aufgerufenen Methode muss dem definierten Typ und nicht den aufrufenden Typ entsprechen #69

New Issue
Open
opened 2020-08-07 12:07:30 +00:00 by pl · 0 comments
pl commented 2020-08-07 12:07:30 +00:00
Owner

import java.lang.Integer;

class semiUnifikation {

<X> X m(X x) {
 	Integer i = m(1);
 	return x;
}

}

// public <X extends java.lang.Object, X$ extends java.lang.Object> X m(X);
FEHLER: X$ extends java.lang.Object ist falsch
// descriptor: (Ljava/lang/Object;)Ljava/lang/Object;
// flags: (0x0001) ACC_PUBLIC
// Code:
// stack=2, locals=3, args_size=2
// 0: aload_0
// 1: iconst_1
// 2: invokestatic // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
// 5: invokevirtual // Method m:(Ljava/lang/Integer;)Ljava/lang/Integer;
FEHLER HIER MUESSTE Method m:(Ljava/lang/Object;)Ljava/lang/Object; aufgerufen werden
// 8: astore_2
// 9: aload_1
// 10: areturn
// Signature: // <X:Ljava/lang/Object;X$:Ljava/lang/Object;>(TX;)TX;
// }

import java.lang.Integer; class semiUnifikation { <X> X m(X x) { Integer i = m(1); return x; } } // public <X extends java.lang.Object, X$ extends java.lang.Object> X m(X); FEHLER: X$ extends java.lang.Object ist falsch // descriptor: (Ljava/lang/Object;)Ljava/lang/Object; // flags: (0x0001) ACC_PUBLIC // Code: // stack=2, locals=3, args_size=2 // 0: aload_0 // 1: iconst_1 // 2: invokestatic #18 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer; // 5: invokevirtual #21 // Method m:(Ljava/lang/Integer;)Ljava/lang/Integer; FEHLER HIER MUESSTE Method m:(Ljava/lang/Object;)Ljava/lang/Object; aufgerufen werden // 8: astore_2 // 9: aload_1 // 10: areturn // Signature: #12 // <X:Ljava/lang/Object;X$:Ljava/lang/Object;>(TX;)TX; // }
Sign in to join this conversation.
No Label
Codegen
confirmed
No Milestone
No project
No Assignees fayez.abu-alia
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#69
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?