Bei TPH <./<? RefTyp (mit Variablen) und RefTyp <./<? TPH fehlen Lösungen #166

New Issue

pl · 2015-03-06T16:19:29Z

pl commented

2015-03-06 16:19:29 +00:00

Beispiel

FC: A < B

Constraint: a <. B führt zu {a =. A} und {a=. B}
Die Lösung a = B b = B<? ext Object> fehlt.

Dies kann durch ändern erreicht werden:

a <. B -> {a =. B, b <? c}

Beispiel:

A<? ext a> <. b führt zu {b =. A<? ext a>}
Die Lösung a = Integer und b = A<? extends Object> fehlt.

Dies kann durch ändern erreicht werden:

A<? ext a> <. b -> {b =. A, ? ext a <? c}

1. Beispiel FC: A<X> < B<X> Constraint: a <. B<b> führt zu {a =. A<b>} und {a=. B<b>} Die Lösung a = B<Integer> b = B<? ext Object> fehlt. Dies kann durch ändern erreicht werden: a <. B<b> -> {a =. B<c>, b <? c} 2. Beispiel: A<? ext a> <. b führt zu {b =. A<? ext a>} Die Lösung a = Integer und b = A<? extends Object> fehlt. Dies kann durch ändern erreicht werden: A<? ext a> <. b -> {b =. A<c>, ? ext a <? c}

pl commented

2015-03-11 23:28:46 +00:00

LambdaTest4:

class LambdaTest{

Fun1<String, String> op = (var) -> {
var2;
var2 = var;
return var;
};

}

kommt auch dieses Problem zu tragen.

LambdaTest4: class LambdaTest{ Fun1<String, String> op = (var) -> { var2; var2 = var; return var; }; } kommt auch dieses Problem zu tragen.

stan commented

2017-10-10 15:21:59 +00:00

OLD BUG

Sign in to join this conversation.