diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-11-24 09:09:49 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-11-24 09:09:49 +0000 |
| commit | c46145f0408b30bbd126d293ccf67792f307479a (patch) | |
| tree | c36f529ae8272b368f1efb20dce6758a8d4e8a0b /test/files/pos/t2665.scala | |
| parent | ef3fb07b53cf4468332461c9d5cf523019bcd9c9 (diff) | |
| download | scala-c46145f0408b30bbd126d293ccf67792f307479a.tar.gz scala-c46145f0408b30bbd126d293ccf67792f307479a.tar.bz2 scala-c46145f0408b30bbd126d293ccf67792f307479a.zip | |
close #2665 and close #2667: use weak conforman...
close #2665 and close #2667: use weak conformance in polymorphic case of
isApplicable reviewed by: odersky
exprTypeArgs now takes a comparison function: isWeaklyCompatible is )
passed in isApplicable's typesCompatible (to mimic what happens in the )
monomorphic case Martin: please review as this is different from my )
original proposal (that one broke type inference, this one passes all )
tests and does not slow down quick.comp )
Diffstat (limited to 'test/files/pos/t2665.scala')
| -rw-r--r-- | test/files/pos/t2665.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/files/pos/t2665.scala b/test/files/pos/t2665.scala new file mode 100644 index 0000000000..3163e31326 --- /dev/null +++ b/test/files/pos/t2665.scala @@ -0,0 +1,3 @@ +object Test { + val x: Unit = Array("") +}
\ No newline at end of file |