Argumente mit Typvariabelen werden die Generics einschließlich Bounds immer bei den Argumenten eingefügt #147

New Issue

pl · 2019-12-05T14:45:30Z

pl commented

2019-12-05 14:45:30 +00:00

Beispiel

class Id {
id2 = x -> x;

id(x) {
return x;
}

id3(x) {
return id(x);
}
}

führt zu

class Id <AOLW extends AOLX, AOLX> {
id2 = x -> x;

id(x) {
return x;
}

id3( <AJMV extends AJMU, AJMU> AJMV x) {
return id(x);
}
}

Soltte aber führen zu:

class Id <AOLW extends AOLX, AOLX> {
id2 = x -> x;

id(x) {
return x;
}

AJMV extends AJMU, AJMU> id3( AJMV x) {
return id(x);
}
}

Beispiel class Id { id2 = x -> x; id(x) { return x; } id3(x) { return id(x); } } führt zu class Id <AOLW extends AOLX, AOLX> { id2 = x -> x; id(x) { return x; } id3( <AJMV extends AJMU, AJMU> AJMV x) { return id(x); } } Soltte aber führen zu: class Id <AOLW extends AOLX, AOLX> { id2 = x -> x; id(x) { return x; } AJMV extends AJMU, AJMU> id3( AJMV x) { return id(x); } }

pl commented

2019-12-10 12:03:25 +00:00

erledigt

Sign in to join this conversation.