diff options
author | Antoine Gourlay <antoine@gourlay.fr> | 2014-08-18 10:18:46 +0200 |
---|---|---|
committer | Antoine Gourlay <antoine@gourlay.fr> | 2014-09-09 11:53:16 +0200 |
commit | e01b461ad98a7cd6183d222ef91c674306c62ffd (patch) | |
tree | 11705a163d132611f4b7574e272408969e4b160d /src | |
parent | 7a6947487dc8ea551ff7489b07cc30366b39d25e (diff) | |
download | scala-e01b461ad98a7cd6183d222ef91c674306c62ffd.tar.gz scala-e01b461ad98a7cd6183d222ef91c674306c62ffd.tar.bz2 scala-e01b461ad98a7cd6183d222ef91c674306c62ffd.zip |
[nomaster] SI-8764 fix return type of case class productElement under Xexperimental
Under Xexperimental, productElement now returns the lub instead
of the weak lub of case class parameter types (numeric widening
shouldn't magically happen *inside* productElement).
This was removed from 2.12.x in 6317ae2.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/SyntheticMethods.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/SyntheticMethods.scala b/src/compiler/scala/tools/nsc/typechecker/SyntheticMethods.scala index d0237fb468..bedca88974 100644 --- a/src/compiler/scala/tools/nsc/typechecker/SyntheticMethods.scala +++ b/src/compiler/scala/tools/nsc/typechecker/SyntheticMethods.scala @@ -95,7 +95,7 @@ trait SyntheticMethods extends ast.TreeDSL { // which they shouldn't. val accessorLub = ( if (settings.Xexperimental) { - global.weakLub(accessors map (_.tpe.finalResultType)) match { + global.lub(accessors map (_.tpe.finalResultType)) match { case RefinedType(parents, decls) if !decls.isEmpty => intersectionType(parents) case tp => tp } |