diff options
| author | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-08-04 14:52:54 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-08-04 14:56:17 +0200 |
| commit | 816c291006296835f51806462b35136740f3e013 (patch) | |
| tree | 550186061bdaaf43e3e6d95fe9b31abb6b831e0c | |
| parent | ec4a9fb5251bed30f4d99091d66190c1bd9daa03 (diff) | |
| download | scala-816c291006296835f51806462b35136740f3e013.tar.gz scala-816c291006296835f51806462b35136740f3e013.tar.bz2 scala-816c291006296835f51806462b35136740f3e013.zip | |
SI-6074
When selecting a non-accessible constructor, don't infer a view to
something with an accessible constructor.
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 | ||||
| -rw-r--r-- | test/files/neg/t6074.check | 4 | ||||
| -rw-r--r-- | test/files/neg/t6074.scala | 6 |
3 files changed, 13 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 0895f5a421..2c916ce469 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -4522,7 +4522,9 @@ trait Typers extends Modes with Adaptations with Tags { }) setType qual.tpe setPos qual.pos, name) case _ if accessibleError.isDefined => - val qual1 = adaptToMemberWithArgs(tree, qual, name, mode, false, false) + // don't adapt constructor, SI-6074 + val qual1 = if (name == nme.CONSTRUCTOR) qual + else adaptToMemberWithArgs(tree, qual, name, mode, false, false) if (!qual1.isErrorTyped && (qual1 ne qual)) typed(Select(qual1, name) setPos tree.pos, mode, pt) else diff --git a/test/files/neg/t6074.check b/test/files/neg/t6074.check new file mode 100644 index 0000000000..38670e5b3d --- /dev/null +++ b/test/files/neg/t6074.check @@ -0,0 +1,4 @@ +t6074.scala:5: error: constructor A in class A cannot be accessed in object T + def t = new A() + ^ +one error found diff --git a/test/files/neg/t6074.scala b/test/files/neg/t6074.scala new file mode 100644 index 0000000000..8c14f00f19 --- /dev/null +++ b/test/files/neg/t6074.scala @@ -0,0 +1,6 @@ +class A private () { } +class B { } +object T { + implicit def a2b(a: A): B = null + def t = new A() +} |