Fehler in Test GenericVarTest #154

New Issue

stan · 2015-03-03T15:11:10Z

stan commented

2015-03-03 15:11:10 +00:00

Problem HZQ und HZP werden als RefTypes angesehen.

stan commented

2015-03-03 15:16:18 +00:00

*** Bug 2 has been marked as a duplicate of this bug. ***

stan commented

2015-03-03 15:18:13 +00:00

Test Kommentar

pl commented

2015-03-03 15:24:46 +00:00

*** Bug 3 has been marked as a duplicate of this bug. ***

stan commented

2015-03-03 15:45:22 +00:00

Constraints-Set bei GenericVarTest, welches nicht unifiziert wird:
[[
(Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X >),
(TPH R57748372 <. TPH ABJ),
(TPH C <. TPH T157748372),
(TPH B <. Fun1< TPH R57748372, TPH T157748372 >),
(TPH ABJ <. TPH ABK),
(Fun1< ? extends TPH ABK, ? super TPH B > <. TPH ABI),
(TPH ABI <. TPH ABL),
(Fun1< ? extends TPH ABL, ? super TPH C > <. TPH ABH),
(TPH ABH <. Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X >),
(Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. TPH ABM),
(Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. TPH ABN),
(TPH ABN <. Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X >),
(void <. void)
]]

Constraints-Set bei GenericVarTest, welches nicht unifiziert wird: [[ (Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X >), (TPH R57748372 <. TPH ABJ), (TPH C <. TPH T157748372), (TPH B <. Fun1< TPH R57748372, TPH T157748372 >), (TPH ABJ <. TPH ABK), (Fun1< ? extends TPH ABK, ? super TPH B > <. TPH ABI), (TPH ABI <. TPH ABL), (Fun1< ? extends TPH ABL, ? super TPH C > <. TPH ABH), (TPH ABH <. Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X >), (Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. TPH ABM), (Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X > <. TPH ABN), (TPH ABN <. Fun1< ? extends Fun1< ? extends ABG, ? super Fun1< BoGTV R1702297201, GTV T11702297201 > >, ? super X >), (void <. void) ]]

pl commented

2015-03-03 15:49:27 +00:00

Karthesisches Produkt der Constraints: [[
(Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > > <. Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > >),
(TPH R935044096 <. TPH AFJ),
(WildcardTest <. TPH T1935044096),
(TPH B <. Fun1< TPH R935044096, TPH T1935044096 >),
(TPH AFJ <. TPH AFK),
(Fun1< ? extends TPH AFK, ? super TPH B > <. TPH AFI),
(TPH AFI <. Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > >),
(void <. void)]]

Karthesisches Produkt der Constraints: [[ (Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > > <. Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > >), (TPH R935044096 <. TPH AFJ), (WildcardTest <. TPH T1935044096), (TPH B <. Fun1< TPH R935044096, TPH T1935044096 >), (TPH AFJ <. TPH AFK), (Fun1< ? extends TPH AFK, ? super TPH B > <. TPH AFI), (TPH AFI <. Fun1< ? extends HZQ, ? super Fun1< BoGTV R1247600089, WildcardTest > >), (void <. void)]]

stan commented

2015-03-03 15:59:55 +00:00

Okay, jetzt kriege ich das richtige ConstraintsSet. Mein Eclipse hat einen anderen Test ausgeführt, als es angezeigt hat.