Presentation Compiler tests for visibility of members.

Removed some unneeded indirection in the testing framework.

9 files changed, 681 insertions, 415 deletions

diff --git a/test/files/presentation/callcc-interpreter.check b/test/files/presentation/callcc-interpreter.check
index c50e171b4e..68ac904b18 100644
--- a/test/files/presentation/callcc-interpreter.check
+++ b/test/files/presentation/callcc-interpreter.check
@@ -4,66 +4,66 @@ askTypeCompletion at CallccInterpreter.scala(51,38)
 ================================================================================
 [response] aksTypeCompletion at (51,38)
 retrieved 64 members
-`class AddcallccInterpreter.Add`
-`class AppcallccInterpreter.App`
-`class CcccallccInterpreter.Ccc`
-`class ConcallccInterpreter.Con`
-`class FuncallccInterpreter.Fun`
-`class LamcallccInterpreter.Lam`
-`class McallccInterpreter.M`
-`class NumcallccInterpreter.Num`
-`class VarcallccInterpreter.Var`
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(callccInterpreter.type, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method add(a: callccInterpreter.Value, b: callccInterpreter.Value)callccInterpreter.M[_ >: callccInterpreter.Num with callccInterpreter.Wrong.type <: Product with Serializable with callccInterpreter.Value]`
-`method apply(a: callccInterpreter.Value, b: callccInterpreter.Value)callccInterpreter.M[callccInterpreter.Value]`
-`method asInstanceOf[T0]=> T0`
-`method callCC[A](h: (A => callccInterpreter.M[A]) => callccInterpreter.M[A])callccInterpreter.M[A]`
-`method clone()Object`
-`method ensuring(cond: Boolean)callccInterpreter.type`
-`method ensuring(cond: Boolean, msg: => Any)callccInterpreter.type`
-`method ensuring(cond: callccInterpreter.type => Boolean)callccInterpreter.type`
-`method ensuring(cond: callccInterpreter.type => Boolean, msg: => Any)callccInterpreter.type`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method id[A]=> A => A`
-`method interp(t: callccInterpreter.Term, e: callccInterpreter.Environment)callccInterpreter.M[callccInterpreter.Value]`
-`method isInstanceOf[T0]=> Boolean`
-`method lookup(x: callccInterpreter.Name, e: callccInterpreter.Environment)callccInterpreter.M[callccInterpreter.Value]`
-`method main(args: Array[String])Unit`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method showM(m: callccInterpreter.M[callccInterpreter.Value])String`
-`method synchronized[T0](x$1: T0)T0`
-`method test(t: callccInterpreter.Term)String`
-`method toString()String`
-`method unitM[A](a: A)callccInterpreter.M[A]`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> callccInterpreter.type`
-`method →[B](y: B)(callccInterpreter.type, B)`
-`object WrongcallccInterpreter.Wrong.type`
-`trait TermcallccInterpreter.Term`
-`trait ValuecallccInterpreter.Value`
-`type AnswercallccInterpreter.Answer`
-`type EnvironmentcallccInterpreter.Environment`
-`type NamecallccInterpreter.Name`
-`value __leftOfArrowcallccInterpreter.type`
-`value __resultOfEnsuringcallccInterpreter.type`
-`value selfAny`
-`value term0callccInterpreter.App`
-`value term1callccInterpreter.App`
-`value term2callccInterpreter.Add`
+[accessible:  true] `class AddcallccInterpreter.Add`
+[accessible:  true] `class AppcallccInterpreter.App`
+[accessible:  true] `class CcccallccInterpreter.Ccc`
+[accessible:  true] `class ConcallccInterpreter.Con`
+[accessible:  true] `class FuncallccInterpreter.Fun`
+[accessible:  true] `class LamcallccInterpreter.Lam`
+[accessible:  true] `class McallccInterpreter.M`
+[accessible:  true] `class NumcallccInterpreter.Num`
+[accessible:  true] `class VarcallccInterpreter.Var`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(callccInterpreter.type, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method add(a: callccInterpreter.Value, b: callccInterpreter.Value)callccInterpreter.M[_ >: callccInterpreter.Num with callccInterpreter.Wrong.type <: Product with Serializable with callccInterpreter.Value]`
+[accessible:  true] `method apply(a: callccInterpreter.Value, b: callccInterpreter.Value)callccInterpreter.M[callccInterpreter.Value]`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method callCC[A](h: (A => callccInterpreter.M[A]) => callccInterpreter.M[A])callccInterpreter.M[A]`
+[accessible:  true] `method clone()Object`
+[accessible:  true] `method ensuring(cond: Boolean)callccInterpreter.type`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)callccInterpreter.type`
+[accessible:  true] `method ensuring(cond: callccInterpreter.type => Boolean)callccInterpreter.type`
+[accessible:  true] `method ensuring(cond: callccInterpreter.type => Boolean, msg: => Any)callccInterpreter.type`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method finalize()Unit`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method id[A]=> A => A`
+[accessible:  true] `method interp(t: callccInterpreter.Term, e: callccInterpreter.Environment)callccInterpreter.M[callccInterpreter.Value]`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method lookup(x: callccInterpreter.Name, e: callccInterpreter.Environment)callccInterpreter.M[callccInterpreter.Value]`
+[accessible:  true] `method main(args: Array[String])Unit`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method showM(m: callccInterpreter.M[callccInterpreter.Value])String`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method test(t: callccInterpreter.Term)String`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method unitM[A](a: A)callccInterpreter.M[A]`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> callccInterpreter.type`
+[accessible:  true] `method →[B](y: B)(callccInterpreter.type, B)`
+[accessible:  true] `object WrongcallccInterpreter.Wrong.type`
+[accessible:  true] `trait TermcallccInterpreter.Term`
+[accessible:  true] `trait ValuecallccInterpreter.Value`
+[accessible:  true] `type AnswercallccInterpreter.Answer`
+[accessible:  true] `type EnvironmentcallccInterpreter.Environment`
+[accessible:  true] `type NamecallccInterpreter.Name`
+[accessible:  true] `value term0callccInterpreter.App`
+[accessible:  true] `value term1callccInterpreter.App`
+[accessible:  true] `value term2callccInterpreter.Add`
+[accessible: false] `value __leftOfArrowcallccInterpreter.type`
+[accessible: false] `value __resultOfEnsuringcallccInterpreter.type`
+[accessible: false] `value selfAny`
 ================================================================================
 
 askType at CallccInterpreter.scala(14,21)
diff --git a/test/files/presentation/ide-bug-1000349.check b/test/files/presentation/ide-bug-1000349.check
index 9c070ef24e..d643f82a25 100644
--- a/test/files/presentation/ide-bug-1000349.check
+++ b/test/files/presentation/ide-bug-1000349.check
@@ -4,37 +4,37 @@ askTypeCompletion at CompletionOnEmptyArgMethod.scala(2,17)
 ================================================================================
 [response] aksTypeCompletion at (2,17)
 retrieved 37 members
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Foo, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Foo`
-`method ensuring(cond: Boolean, msg: => Any)Foo`
-`method ensuring(cond: Foo => Boolean)Foo`
-`method ensuring(cond: Foo => Boolean, msg: => Any)Foo`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method foo=> Foo`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Foo`
-`method →[B](y: B)(Foo, B)`
-`value __leftOfArrowFoo`
-`value __resultOfEnsuringFoo`
-`value selfAny`
-================================================================================
\ No newline at end of file
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Foo, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method clone()Object`
+[accessible:  true] `method ensuring(cond: Boolean)Foo`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Foo`
+[accessible:  true] `method ensuring(cond: Foo => Boolean)Foo`
+[accessible:  true] `method ensuring(cond: Foo => Boolean, msg: => Any)Foo`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method finalize()Unit`
+[accessible:  true] `method foo=> Foo`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Foo`
+[accessible:  true] `method →[B](y: B)(Foo, B)`
+[accessible: false] `value __leftOfArrowFoo`
+[accessible: false] `value __resultOfEnsuringFoo`
+[accessible: false] `value selfAny`
+================================================================================
diff --git a/test/files/presentation/ide-bug-1000475.check b/test/files/presentation/ide-bug-1000475.check
index 1718119385..2410ebf71d 100644
--- a/test/files/presentation/ide-bug-1000475.check
+++ b/test/files/presentation/ide-bug-1000475.check
@@ -4,112 +4,112 @@ askTypeCompletion at Foo.scala(3,7)
 ================================================================================
 [response] aksTypeCompletion at (3,7)
 retrieved 36 members
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Object, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Object`
-`method ensuring(cond: Boolean, msg: => Any)Object`
-`method ensuring(cond: Object => Boolean)Object`
-`method ensuring(cond: Object => Boolean, msg: => Any)Object`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Object`
-`method →[B](y: B)(Object, B)`
-`value __leftOfArrowObject`
-`value __resultOfEnsuringObject`
-`value selfAny`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Object, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)Object`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Object`
+[accessible:  true] `method ensuring(cond: Object => Boolean)Object`
+[accessible:  true] `method ensuring(cond: Object => Boolean, msg: => Any)Object`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Object`
+[accessible:  true] `method →[B](y: B)(Object, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `value __leftOfArrowObject`
+[accessible: false] `value __resultOfEnsuringObject`
+[accessible: false] `value selfAny`
 ================================================================================
 
 askTypeCompletion at Foo.scala(6,10)
 ================================================================================
 [response] aksTypeCompletion at (6,10)
 retrieved 36 members
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Object, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Object`
-`method ensuring(cond: Boolean, msg: => Any)Object`
-`method ensuring(cond: Object => Boolean)Object`
-`method ensuring(cond: Object => Boolean, msg: => Any)Object`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Object`
-`method →[B](y: B)(Object, B)`
-`value __leftOfArrowObject`
-`value __resultOfEnsuringObject`
-`value selfAny`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Object, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)Object`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Object`
+[accessible:  true] `method ensuring(cond: Object => Boolean)Object`
+[accessible:  true] `method ensuring(cond: Object => Boolean, msg: => Any)Object`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Object`
+[accessible:  true] `method →[B](y: B)(Object, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `value __leftOfArrowObject`
+[accessible: false] `value __resultOfEnsuringObject`
+[accessible: false] `value selfAny`
 ================================================================================
 
 askTypeCompletion at Foo.scala(7,7)
 ================================================================================
 [response] aksTypeCompletion at (7,7)
 retrieved 36 members
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Object, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Object`
-`method ensuring(cond: Boolean, msg: => Any)Object`
-`method ensuring(cond: Object => Boolean)Object`
-`method ensuring(cond: Object => Boolean, msg: => Any)Object`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Object`
-`method →[B](y: B)(Object, B)`
-`value __leftOfArrowObject`
-`value __resultOfEnsuringObject`
-`value selfAny`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Object, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)Object`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Object`
+[accessible:  true] `method ensuring(cond: Object => Boolean)Object`
+[accessible:  true] `method ensuring(cond: Object => Boolean, msg: => Any)Object`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Object`
+[accessible:  true] `method →[B](y: B)(Object, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `value __leftOfArrowObject`
+[accessible: false] `value __resultOfEnsuringObject`
+[accessible: false] `value selfAny`
 ================================================================================
diff --git a/test/files/presentation/ide-bug-1000531.check b/test/files/presentation/ide-bug-1000531.check
index 2b48a80d38..d9109bcc6a 100644
--- a/test/files/presentation/ide-bug-1000531.check
+++ b/test/files/presentation/ide-bug-1000531.check
@@ -4,123 +4,123 @@ askTypeCompletion at CrashOnLoad.scala(6,12)
 ================================================================================
 [response] aksTypeCompletion at (6,12)
 retrieved 123 members
-`class GroupedIteratorIterator[B]#GroupedIterator`
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ++[B >: B](that: => scala.collection.GenTraversableOnce[B])Iterator[B]`
-`method ->[B](y: B)(java.util.Iterator[B], B)`
-`method /:[B](z: B)(op: (B, B) => B)B`
-`method /:\[A1 >: B](z: A1)(op: (A1, A1) => A1)A1`
-`method :\[B](z: B)(op: (B, B) => B)B`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method addString(b: StringBuilder)StringBuilder`
-`method addString(b: StringBuilder, sep: String)StringBuilder`
-`method addString(b: StringBuilder, start: String, sep: String, end: String)StringBuilder`
-`method aggregate[B](z: B)(seqop: (B, B) => B, combop: (B, B) => B)B`
-`method asInstanceOf[T0]=> T0`
-`method buffered=> scala.collection.BufferedIterator[B]`
-`method clone()Object`
-`method collectFirst[B](pf: PartialFunction[B,B])Option[B]`
-`method collect[B](pf: PartialFunction[B,B])Iterator[B]`
-`method contains(elem: Any)Boolean`
-`method copyToArray[B >: B](xs: Array[B])Unit`
-`method copyToArray[B >: B](xs: Array[B], start: Int)Unit`
-`method copyToArray[B >: B](xs: Array[B], start: Int, len: Int)Unit`
-`method copyToBuffer[B >: B](dest: scala.collection.mutable.Buffer[B])Unit`
-`method count(p: B => Boolean)Int`
-`method drop(n: Int)Iterator[B]`
-`method dropWhile(p: B => Boolean)Iterator[B]`
-`method duplicate=> (Iterator[B], Iterator[B])`
-`method ensuring(cond: Boolean)java.util.Iterator[B]`
-`method ensuring(cond: Boolean, msg: => Any)java.util.Iterator[B]`
-`method ensuring(cond: java.util.Iterator[B] => Boolean)java.util.Iterator[B]`
-`method ensuring(cond: java.util.Iterator[B] => Boolean, msg: => Any)java.util.Iterator[B]`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method exists(p: B => Boolean)Boolean`
-`method filter(p: B => Boolean)Iterator[B]`
-`method filterNot(p: B => Boolean)Iterator[B]`
-`method finalize()Unit`
-`method find(p: B => Boolean)Option[B]`
-`method flatMap[B](f: B => scala.collection.GenTraversableOnce[B])Iterator[B]`
-`method foldLeft[B](z: B)(op: (B, B) => B)B`
-`method foldRight[B](z: B)(op: (B, B) => B)B`
-`method fold[A1 >: B](z: A1)(op: (A1, A1) => A1)A1`
-`method forall(p: B => Boolean)Boolean`
-`method foreach[U](f: B => U)Unit`
-`method formatted(fmtstr: String)String`
-`method grouped[B >: B](size: Int)Iterator[B]#GroupedIterator[B]`
-`method hasDefiniteSize=> Boolean`
-`method hasNext()Boolean`
-`method hashCode()Int`
-`method indexOf[B >: B](elem: B)Int`
-`method indexWhere(p: B => Boolean)Int`
-`method isEmpty=> Boolean`
-`method isInstanceOf[T0]=> Boolean`
-`method isTraversableAgain=> Boolean`
-`method length=> Int`
-`method map[B](f: B => B)Iterator[B]`
-`method maxBy[B](f: B => B)(implicit cmp: Ordering[B])B`
-`method max[B >: B](implicit cmp: Ordering[B])B`
-`method minBy[B](f: B => B)(implicit cmp: Ordering[B])B`
-`method min[B >: B](implicit cmp: Ordering[B])B`
-`method mkString(sep: String)String`
-`method mkString(start: String, sep: String, end: String)String`
-`method mkString=> String`
-`method ne(x$1: AnyRef)Boolean`
-`method next()B`
-`method nonEmpty=> Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method padTo[A1 >: B](len: Int, elem: A1)Iterator[A1]`
-`method partition(p: B => Boolean)(Iterator[B], Iterator[B])`
-`method patch[B >: B](from: Int, patchElems: Iterator[B], replaced: Int)Iterator[B]`
-`method product[B >: B](implicit num: Numeric[B])B`
-`method reduceLeftOption[B >: B](op: (B, B) => B)Option[B]`
-`method reduceLeft[B >: B](op: (B, B) => B)B`
-`method reduceOption[A1 >: B](op: (A1, A1) => A1)Option[A1]`
-`method reduceRightOption[B >: B](op: (B, B) => B)Option[B]`
-`method reduceRight[B >: B](op: (B, B) => B)B`
-`method reduce[A1 >: B](op: (A1, A1) => A1)A1`
-`method remove()Unit`
-`method reversed=> List[B]`
-`method sameElements(that: Iterator[_])Boolean`
-`method scanLeft[B](z: B)(op: (B, B) => B)Iterator[B]`
-`method scanRight[B](z: B)(op: (B, B) => B)Iterator[B]`
-`method seq=> Iterator[B]`
-`method size=> Int`
-`method slice(from: Int, until: Int)Iterator[B]`
-`method sliding[B >: B](size: Int, step: Int)Iterator[B]#GroupedIterator[B]`
-`method span(p: B => Boolean)(Iterator[B], Iterator[B])`
-`method sum[B >: B](implicit num: Numeric[B])B`
-`method synchronized[T0](x$1: T0)T0`
-`method take(n: Int)Iterator[B]`
-`method takeWhile(p: B => Boolean)Iterator[B]`
-`method toArray[B >: B](implicit evidence$1: ArrayTag[B])Array[B]`
-`method toBuffer[B >: B]=> scala.collection.mutable.Buffer[B]`
-`method toIndexedSeq=> scala.collection.immutable.IndexedSeq[B]`
-`method toIterable=> Iterable[B]`
-`method toIterator=> Iterator[B]`
-`method toList=> List[B]`
-`method toMap[T, U](implicit ev: <:<[B,(T, U)])scala.collection.immutable.Map[T,U]`
-`method toSeq=> Seq[B]`
-`method toSet[B >: B]=> scala.collection.immutable.Set[B]`
-`method toStream=> scala.collection.immutable.Stream[B]`
-`method toString()String`
-`method toTraversable=> Traversable[B]`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method withFilter(p: B => Boolean)Iterator[B]`
-`method x=> java.util.Iterator[B]`
-`method zipAll[B, A1 >: B, B1 >: B](that: Iterator[B], thisElem: A1, thatElem: B1)Iterator[(A1, B1)]`
-`method zipWithIndex=> Iterator[(B, Int)]`
-`method zip[B](that: Iterator[B])Iterator[(B, B)]`
-`method →[B](y: B)(java.util.Iterator[B], B)`
-`value __leftOfArrowjava.util.Iterator[B]`
-`value __resultOfEnsuringjava.util.Iterator[B]`
-`value selfAny`
+[accessible:  true] `class GroupedIteratorIterator[B]#GroupedIterator`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ++[B >: B](that: => scala.collection.GenTraversableOnce[B])Iterator[B]`
+[accessible:  true] `method ->[B](y: B)(java.util.Iterator[B], B)`
+[accessible:  true] `method /:[B](z: B)(op: (B, B) => B)B`
+[accessible:  true] `method /:\[A1 >: B](z: A1)(op: (A1, A1) => A1)A1`
+[accessible:  true] `method :\[B](z: B)(op: (B, B) => B)B`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method addString(b: StringBuilder)StringBuilder`
+[accessible:  true] `method addString(b: StringBuilder, sep: String)StringBuilder`
+[accessible:  true] `method addString(b: StringBuilder, start: String, sep: String, end: String)StringBuilder`
+[accessible:  true] `method aggregate[B](z: B)(seqop: (B, B) => B, combop: (B, B) => B)B`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method buffered=> scala.collection.BufferedIterator[B]`
+[accessible:  true] `method collectFirst[B](pf: PartialFunction[B,B])Option[B]`
+[accessible:  true] `method collect[B](pf: PartialFunction[B,B])Iterator[B]`
+[accessible:  true] `method contains(elem: Any)Boolean`
+[accessible:  true] `method copyToArray[B >: B](xs: Array[B])Unit`
+[accessible:  true] `method copyToArray[B >: B](xs: Array[B], start: Int)Unit`
+[accessible:  true] `method copyToArray[B >: B](xs: Array[B], start: Int, len: Int)Unit`
+[accessible:  true] `method copyToBuffer[B >: B](dest: scala.collection.mutable.Buffer[B])Unit`
+[accessible:  true] `method count(p: B => Boolean)Int`
+[accessible:  true] `method drop(n: Int)Iterator[B]`
+[accessible:  true] `method dropWhile(p: B => Boolean)Iterator[B]`
+[accessible:  true] `method duplicate=> (Iterator[B], Iterator[B])`
+[accessible:  true] `method ensuring(cond: Boolean)java.util.Iterator[B]`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)java.util.Iterator[B]`
+[accessible:  true] `method ensuring(cond: java.util.Iterator[B] => Boolean)java.util.Iterator[B]`
+[accessible:  true] `method ensuring(cond: java.util.Iterator[B] => Boolean, msg: => Any)java.util.Iterator[B]`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method exists(p: B => Boolean)Boolean`
+[accessible:  true] `method filter(p: B => Boolean)Iterator[B]`
+[accessible:  true] `method filterNot(p: B => Boolean)Iterator[B]`
+[accessible:  true] `method find(p: B => Boolean)Option[B]`
+[accessible:  true] `method flatMap[B](f: B => scala.collection.GenTraversableOnce[B])Iterator[B]`
+[accessible:  true] `method foldLeft[B](z: B)(op: (B, B) => B)B`
+[accessible:  true] `method foldRight[B](z: B)(op: (B, B) => B)B`
+[accessible:  true] `method fold[A1 >: B](z: A1)(op: (A1, A1) => A1)A1`
+[accessible:  true] `method forall(p: B => Boolean)Boolean`
+[accessible:  true] `method foreach[U](f: B => U)Unit`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method grouped[B >: B](size: Int)Iterator[B]#GroupedIterator[B]`
+[accessible:  true] `method hasDefiniteSize=> Boolean`
+[accessible:  true] `method hasNext()Boolean`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method indexOf[B >: B](elem: B)Int`
+[accessible:  true] `method indexWhere(p: B => Boolean)Int`
+[accessible:  true] `method isEmpty=> Boolean`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method isTraversableAgain=> Boolean`
+[accessible:  true] `method length=> Int`
+[accessible:  true] `method map[B](f: B => B)Iterator[B]`
+[accessible:  true] `method maxBy[B](f: B => B)(implicit cmp: Ordering[B])B`
+[accessible:  true] `method max[B >: B](implicit cmp: Ordering[B])B`
+[accessible:  true] `method minBy[B](f: B => B)(implicit cmp: Ordering[B])B`
+[accessible:  true] `method min[B >: B](implicit cmp: Ordering[B])B`
+[accessible:  true] `method mkString(sep: String)String`
+[accessible:  true] `method mkString(start: String, sep: String, end: String)String`
+[accessible:  true] `method mkString=> String`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method next()B`
+[accessible:  true] `method nonEmpty=> Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method padTo[A1 >: B](len: Int, elem: A1)Iterator[A1]`
+[accessible:  true] `method partition(p: B => Boolean)(Iterator[B], Iterator[B])`
+[accessible:  true] `method patch[B >: B](from: Int, patchElems: Iterator[B], replaced: Int)Iterator[B]`
+[accessible:  true] `method product[B >: B](implicit num: Numeric[B])B`
+[accessible:  true] `method reduceLeftOption[B >: B](op: (B, B) => B)Option[B]`
+[accessible:  true] `method reduceLeft[B >: B](op: (B, B) => B)B`
+[accessible:  true] `method reduceOption[A1 >: B](op: (A1, A1) => A1)Option[A1]`
+[accessible:  true] `method reduceRightOption[B >: B](op: (B, B) => B)Option[B]`
+[accessible:  true] `method reduceRight[B >: B](op: (B, B) => B)B`
+[accessible:  true] `method reduce[A1 >: B](op: (A1, A1) => A1)A1`
+[accessible:  true] `method remove()Unit`
+[accessible:  true] `method sameElements(that: Iterator[_])Boolean`
+[accessible:  true] `method scanLeft[B](z: B)(op: (B, B) => B)Iterator[B]`
+[accessible:  true] `method scanRight[B](z: B)(op: (B, B) => B)Iterator[B]`
+[accessible:  true] `method seq=> Iterator[B]`
+[accessible:  true] `method size=> Int`
+[accessible:  true] `method slice(from: Int, until: Int)Iterator[B]`
+[accessible:  true] `method sliding[B >: B](size: Int, step: Int)Iterator[B]#GroupedIterator[B]`
+[accessible:  true] `method span(p: B => Boolean)(Iterator[B], Iterator[B])`
+[accessible:  true] `method sum[B >: B](implicit num: Numeric[B])B`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method take(n: Int)Iterator[B]`
+[accessible:  true] `method takeWhile(p: B => Boolean)Iterator[B]`
+[accessible:  true] `method toArray[B >: B](implicit evidence$1: ArrayTag[B])Array[B]`
+[accessible:  true] `method toBuffer[B >: B]=> scala.collection.mutable.Buffer[B]`
+[accessible:  true] `method toIndexedSeq=> scala.collection.immutable.IndexedSeq[B]`
+[accessible:  true] `method toIterable=> Iterable[B]`
+[accessible:  true] `method toIterator=> Iterator[B]`
+[accessible:  true] `method toList=> List[B]`
+[accessible:  true] `method toMap[T, U](implicit ev: <:<[B,(T, U)])scala.collection.immutable.Map[T,U]`
+[accessible:  true] `method toSeq=> Seq[B]`
+[accessible:  true] `method toSet[B >: B]=> scala.collection.immutable.Set[B]`
+[accessible:  true] `method toStream=> scala.collection.immutable.Stream[B]`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method toTraversable=> Traversable[B]`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method withFilter(p: B => Boolean)Iterator[B]`
+[accessible:  true] `method x=> java.util.Iterator[B]`
+[accessible:  true] `method zipAll[B, A1 >: B, B1 >: B](that: Iterator[B], thisElem: A1, thatElem: B1)Iterator[(A1, B1)]`
+[accessible:  true] `method zipWithIndex=> Iterator[(B, Int)]`
+[accessible:  true] `method zip[B](that: Iterator[B])Iterator[(B, B)]`
+[accessible:  true] `method →[B](y: B)(java.util.Iterator[B], B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `method reversed=> List[B]`
+[accessible: false] `value __leftOfArrowjava.util.Iterator[B]`
+[accessible: false] `value __resultOfEnsuringjava.util.Iterator[B]`
+[accessible: false] `value selfAny`
 ================================================================================
diff --git a/test/files/presentation/implicit-member.check b/test/files/presentation/implicit-member.check
index e8e656f12a..ce21293ae5 100644
--- a/test/files/presentation/implicit-member.check
+++ b/test/files/presentation/implicit-member.check
@@ -4,39 +4,39 @@ askTypeCompletion at ImplicitMember.scala(7,7)
 ================================================================================
 [response] aksTypeCompletion at (7,7)
 retrieved 39 members
-`class AppliedImplicitImplicit.AppliedImplicit`
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Implicit.type, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method AppliedImplicit[A](x: A)Implicit.AppliedImplicit[A]`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Implicit.type`
-`method ensuring(cond: Boolean, msg: => Any)Implicit.type`
-`method ensuring(cond: Implicit.type => Boolean)Implicit.type`
-`method ensuring(cond: Implicit.type => Boolean, msg: => Any)Implicit.type`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Implicit.type`
-`method →[B](y: B)(Implicit.type, B)`
-`value __leftOfArrowImplicit.type`
-`value __resultOfEnsuringImplicit.type`
-`value selfAny`
-`value xImplicit.type`
+[accessible:  true] `class AppliedImplicitImplicit.AppliedImplicit`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Implicit.type, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method AppliedImplicit[A](x: A)Implicit.AppliedImplicit[A]`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method clone()Object`
+[accessible:  true] `method ensuring(cond: Boolean)Implicit.type`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Implicit.type`
+[accessible:  true] `method ensuring(cond: Implicit.type => Boolean)Implicit.type`
+[accessible:  true] `method ensuring(cond: Implicit.type => Boolean, msg: => Any)Implicit.type`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method finalize()Unit`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Implicit.type`
+[accessible:  true] `method →[B](y: B)(Implicit.type, B)`
+[accessible: false] `value __leftOfArrowImplicit.type`
+[accessible: false] `value __resultOfEnsuringImplicit.type`
+[accessible: false] `value selfAny`
+[accessible: false] `value xImplicit.type`
 ================================================================================
diff --git a/test/files/presentation/ping-pong.check b/test/files/presentation/ping-pong.check
index 38040bdacf..1f02274736 100644
--- a/test/files/presentation/ping-pong.check
+++ b/test/files/presentation/ping-pong.check
@@ -4,83 +4,83 @@ askTypeCompletion at PingPong.scala(10,23)
 ================================================================================
 [response] aksTypeCompletion at (10,23)
 retrieved 40 members
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Pong, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Pong`
-`method ensuring(cond: Boolean, msg: => Any)Pong`
-`method ensuring(cond: Pong => Boolean)Pong`
-`method ensuring(cond: Pong => Boolean, msg: => Any)Pong`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method poke()Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Pong`
-`method →[B](y: B)(Pong, B)`
-`value __leftOfArrowPong`
-`value __resultOfEnsuringPong`
-`value nameString`
-`value pingPing`
-`value selfAny`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Pong, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)Pong`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Pong`
+[accessible:  true] `method ensuring(cond: Pong => Boolean)Pong`
+[accessible:  true] `method ensuring(cond: Pong => Boolean, msg: => Any)Pong`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method poke()Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Pong`
+[accessible:  true] `method →[B](y: B)(Pong, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `value __leftOfArrowPong`
+[accessible: false] `value __resultOfEnsuringPong`
+[accessible: false] `value nameString`
+[accessible: false] `value pingPing`
+[accessible: false] `value selfAny`
 ================================================================================
 
 askTypeCompletion at PingPong.scala(19,20)
 ================================================================================
 [response] aksTypeCompletion at (19,20)
 retrieved 40 members
-`method !=(x$1: Any)Boolean`
-`method !=(x$1: AnyRef)Boolean`
-`method ##()Int`
-`method +(other: String)String`
-`method ->[B](y: B)(Ping, B)`
-`method ==(x$1: Any)Boolean`
-`method ==(x$1: AnyRef)Boolean`
-`method asInstanceOf[T0]=> T0`
-`method clone()Object`
-`method ensuring(cond: Boolean)Ping`
-`method ensuring(cond: Boolean, msg: => Any)Ping`
-`method ensuring(cond: Ping => Boolean)Ping`
-`method ensuring(cond: Ping => Boolean, msg: => Any)Ping`
-`method eq(x$1: AnyRef)Boolean`
-`method equals(x$1: Any)Boolean`
-`method finalize()Unit`
-`method formatted(fmtstr: String)String`
-`method hashCode()Int`
-`method isInstanceOf[T0]=> Boolean`
-`method loop=> Unit`
-`method name=> String`
-`method ne(x$1: AnyRef)Boolean`
-`method notify()Unit`
-`method notifyAll()Unit`
-`method poke=> Unit`
-`method synchronized[T0](x$1: T0)T0`
-`method toString()String`
-`method wait()Unit`
-`method wait(x$1: Long)Unit`
-`method wait(x$1: Long, x$2: Int)Unit`
-`method x=> Ping`
-`method →[B](y: B)(Ping, B)`
-`value __leftOfArrowPing`
-`value __resultOfEnsuringPing`
-`value pongPong`
-`value selfAny`
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(Ping, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)Ping`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)Ping`
+[accessible:  true] `method ensuring(cond: Ping => Boolean)Ping`
+[accessible:  true] `method ensuring(cond: Ping => Boolean, msg: => Any)Ping`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method loop=> Unit`
+[accessible:  true] `method name=> String`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method poke=> Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> Ping`
+[accessible:  true] `method →[B](y: B)(Ping, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `value __leftOfArrowPing`
+[accessible: false] `value __resultOfEnsuringPing`
+[accessible: false] `value pongPong`
+[accessible: false] `value selfAny`
 ================================================================================
 
 askType at PingPong.scala(8,10)
diff --git a/test/files/presentation/visibility.check b/test/files/presentation/visibility.check
new file mode 100644
index 0000000000..290a5ac381
--- /dev/null
+++ b/test/files/presentation/visibility.check
@@ -0,0 +1,221 @@
+reload: Completions.scala
+
+askTypeCompletion at Completions.scala(14,12)
+================================================================================
+[response] aksTypeCompletion at (14,12)
+retrieved 42 members
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(accessibility.Foo, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method clone()Object`
+[accessible:  true] `method ensuring(cond: Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method finalize()Unit`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method secretPrivate()Unit`
+[accessible:  true] `method secretProtected()Unit`
+[accessible:  true] `method secretProtectedInPackage()Unit`
+[accessible:  true] `method secretPublic()Unit`
+[accessible:  true] `method someTests(other: accessibility.Foo)Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> accessibility.Foo`
+[accessible:  true] `method →[B](y: B)(accessibility.Foo, B)`
+[accessible: false] `method secretPrivateThis()Unit`
+[accessible: false] `value __leftOfArrowaccessibility.Foo`
+[accessible: false] `value __resultOfEnsuringaccessibility.Foo`
+[accessible: false] `value selfAny`
+================================================================================
+
+askTypeCompletion at Completions.scala(16,11)
+================================================================================
+[response] aksTypeCompletion at (16,11)
+retrieved 42 members
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(accessibility.Foo, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method clone()Object`
+[accessible:  true] `method ensuring(cond: Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method finalize()Unit`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method secretPrivate()Unit`
+[accessible:  true] `method secretPrivateThis()Unit`
+[accessible:  true] `method secretProtected()Unit`
+[accessible:  true] `method secretProtectedInPackage()Unit`
+[accessible:  true] `method secretPublic()Unit`
+[accessible:  true] `method someTests(other: accessibility.Foo)Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> accessibility.Foo`
+[accessible:  true] `method →[B](y: B)(accessibility.Foo, B)`
+[accessible: false] `value __leftOfArrowaccessibility.Foo`
+[accessible: false] `value __resultOfEnsuringaccessibility.Foo`
+[accessible: false] `value selfAny`
+================================================================================
+
+askTypeCompletion at Completions.scala(22,11)
+================================================================================
+[response] aksTypeCompletion at (22,11)
+retrieved 42 members
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(accessibility.AccessibilityChecks, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method clone()Object`
+[accessible:  true] `method ensuring(cond: Boolean)accessibility.AccessibilityChecks`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)accessibility.AccessibilityChecks`
+[accessible:  true] `method ensuring(cond: accessibility.AccessibilityChecks => Boolean)accessibility.AccessibilityChecks`
+[accessible:  true] `method ensuring(cond: accessibility.AccessibilityChecks => Boolean, msg: => Any)accessibility.AccessibilityChecks`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method finalize()Unit`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method secretProtected()Unit`
+[accessible:  true] `method secretProtectedInPackage()Unit`
+[accessible:  true] `method secretPublic()Unit`
+[accessible:  true] `method someTests(other: accessibility.Foo)Unit`
+[accessible:  true] `method someTests=> Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> accessibility.AccessibilityChecks`
+[accessible:  true] `method →[B](y: B)(accessibility.AccessibilityChecks, B)`
+[accessible: false] `method secretPrivate()Unit`
+[accessible: false] `value __leftOfArrowaccessibility.AccessibilityChecks`
+[accessible: false] `value __resultOfEnsuringaccessibility.AccessibilityChecks`
+[accessible: false] `value selfAny`
+================================================================================
+
+askTypeCompletion at Completions.scala(28,10)
+================================================================================
+[response] aksTypeCompletion at (28,10)
+retrieved 42 members
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(accessibility.Foo, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method secretProtectedInPackage()Unit`
+[accessible:  true] `method secretPublic()Unit`
+[accessible:  true] `method someTests(other: accessibility.Foo)Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> accessibility.Foo`
+[accessible:  true] `method →[B](y: B)(accessibility.Foo, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `method secretPrivate()Unit`
+[accessible: false] `method secretPrivateThis()Unit`
+[accessible: false] `method secretProtected()Unit`
+[accessible: false] `value __leftOfArrowaccessibility.Foo`
+[accessible: false] `value __resultOfEnsuringaccessibility.Foo`
+[accessible: false] `value selfAny`
+================================================================================
+
+askTypeCompletion at Completions.scala(37,8)
+================================================================================
+[response] aksTypeCompletion at (37,8)
+retrieved 42 members
+[accessible:  true] `method !=(x$1: Any)Boolean`
+[accessible:  true] `method !=(x$1: AnyRef)Boolean`
+[accessible:  true] `method ##()Int`
+[accessible:  true] `method +(other: String)String`
+[accessible:  true] `method ->[B](y: B)(accessibility.Foo, B)`
+[accessible:  true] `method ==(x$1: Any)Boolean`
+[accessible:  true] `method ==(x$1: AnyRef)Boolean`
+[accessible:  true] `method asInstanceOf[T0]=> T0`
+[accessible:  true] `method ensuring(cond: Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean)accessibility.Foo`
+[accessible:  true] `method ensuring(cond: accessibility.Foo => Boolean, msg: => Any)accessibility.Foo`
+[accessible:  true] `method eq(x$1: AnyRef)Boolean`
+[accessible:  true] `method equals(x$1: Any)Boolean`
+[accessible:  true] `method formatted(fmtstr: String)String`
+[accessible:  true] `method hashCode()Int`
+[accessible:  true] `method isInstanceOf[T0]=> Boolean`
+[accessible:  true] `method ne(x$1: AnyRef)Boolean`
+[accessible:  true] `method notify()Unit`
+[accessible:  true] `method notifyAll()Unit`
+[accessible:  true] `method secretPublic()Unit`
+[accessible:  true] `method someTests(other: accessibility.Foo)Unit`
+[accessible:  true] `method synchronized[T0](x$1: T0)T0`
+[accessible:  true] `method toString()String`
+[accessible:  true] `method wait()Unit`
+[accessible:  true] `method wait(x$1: Long)Unit`
+[accessible:  true] `method wait(x$1: Long, x$2: Int)Unit`
+[accessible:  true] `method x=> accessibility.Foo`
+[accessible:  true] `method →[B](y: B)(accessibility.Foo, B)`
+[accessible: false] `method clone()Object`
+[accessible: false] `method finalize()Unit`
+[accessible: false] `method secretPrivate()Unit`
+[accessible: false] `method secretPrivateThis()Unit`
+[accessible: false] `method secretProtected()Unit`
+[accessible: false] `method secretProtectedInPackage()Unit`
+[accessible: false] `value __leftOfArrowaccessibility.Foo`
+[accessible: false] `value __resultOfEnsuringaccessibility.Foo`
+[accessible: false] `value selfAny`
+================================================================================
diff --git a/test/files/presentation/visibility/Test.scala b/test/files/presentation/visibility/Test.scala
new file mode 100644
index 0000000000..96e758d974
--- /dev/null
+++ b/test/files/presentation/visibility/Test.scala
@@ -0,0 +1,5 @@
+import scala.tools.nsc.interactive.tests.InteractiveTest
+
+object Test extends InteractiveTest {
+
+}
\ No newline at end of file
diff --git a/test/files/presentation/visibility/src/Completions.scala b/test/files/presentation/visibility/src/Completions.scala
new file mode 100644
index 0000000000..098b98a0fd
--- /dev/null
+++ b/test/files/presentation/visibility/src/Completions.scala
@@ -0,0 +1,40 @@
+package accessibility {
+
+  class Foo {
+    private def secretPrivate(): Unit = ()
+    private[this] def secretPrivateThis(): Unit = ()
+
+    protected def secretProtected(): Unit
+
+    protected[accessibility] def secretProtectedInPackage(): Unit
+
+    def secretPublic(): Unit
+
+    def someTests(other: Foo) {
+      other./*!*/secretPrivate // should be all but scretThis
+
+      this./*!*/secretProtected // should hit five completions
+    }
+  }
+
+  class AccessibilityChecks extends Foo {
+    def someTests {
+      this./*!*/ // should not list secretPrivate*
+    }
+  }
+  
+  class UnrelatedClass {
+    def someTests(foo: Foo) {
+      foo./*!*/ // should list public and protected[accessiblity]
+    }
+  }
+
+}
+
+package other {
+  class SomeChecsk {
+    def foo(o: accessibility.Foo) {
+      o./*!*/ // should only match secretPublic
+    }
+  }
+}
\ No newline at end of file