('a', 98): (Char, Char) fails type checking the _2 #1366

nicolasstucki · 2016-07-08T09:28:23Z

dotty> ('a', 98): (Char, Char) 
     ^
('a', 98): (Char, Char)
<console>:5: error: type mismatch:
 found   : Int(98)
 required: T2

scalac> ('a', 98): (Char, Char) 
res4: (Char, Char) = (a,b)

Fix: scala#1366. Constant adaptation did not work if the expected type was an as yet uninstantiated type variable.

Fix #1366: constant adaptation

nicolasstucki added the itype:bug label Jul 8, 2016

odersky added a commit to dotty-staging/dotty that referenced this issue Jul 8, 2016

Fix: scala#1366, constant adaptation

9082ec9

Fix: scala#1366. Constant adaptation did not work if the expected type was an as yet uninstantiated type variable.

odersky added a commit to dotty-staging/dotty that referenced this issue Jul 8, 2016

Fix: scala#1366, constant adaptation

bcf6354

Fix: scala#1366. Constant adaptation did not work if the expected type was an as yet uninstantiated type variable.

odersky mentioned this issue Jul 8, 2016

Fix #1366: constant adaptation #1371

Merged

odersky added a commit to dotty-staging/dotty that referenced this issue Jul 8, 2016

Test for scala#1366

ed697f5

nicolasstucki closed this as completed in #1371 Jul 11, 2016

nicolasstucki added a commit that referenced this issue Jul 11, 2016

Merge pull request #1371 from dotty-staging/fix-#1366

6ca5b9d

Fix #1366: constant adaptation

nicolasstucki mentioned this issue Jul 11, 2016

(1, x => 2): (Int, Int => Int) fails type checking the _2 #1378

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

('a', 98): (Char, Char) fails type checking the _2 #1366

('a', 98): (Char, Char) fails type checking the _2 #1366

nicolasstucki commented Jul 8, 2016

('a', 98): (Char, Char) fails type checking the _2 #1366

('a', 98): (Char, Char) fails type checking the _2 #1366

Comments

nicolasstucki commented Jul 8, 2016