Skip to content

Instantly share code, notes, and snippets.

@retronym

retronym/8135.log

Created January 10, 2014 13:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save retronym/8351926 to your computer and use it in GitHub Desktop.
Save retronym/8351926 to your computer and use it in GitHub Desktop.
Download ZIP
SI-8135
Raw
8135.log
reload: ContextBounds.scala
|-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| \-> <empty>.type / type
|-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| |-- new Blubb() EXPRmode (site: value blubb in ContextBound)
| | |-- new Blubb BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value blubb in ContextBound)
| | | |-- new Blubb EXPRmode-POLYmode-QUALmode (silent: value blubb in ContextBound)
| | | | |-- Blubb FUNmode-TYPEmode (silent: value blubb in ContextBound)
| | | | | \-> Blubb / Blubb
| | | | \-> Blubb / new Blubb
| | | \-> ()Blubb / ()Blubb
| | \-> Blubb / ()Blubb
| |-- Blubb BYVALmode-EXPRmode (site: object ContextBound)
askHyperlinkPos for `Blubb` at (2,23) ContextBounds.scala
|-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| \-> <empty>.type / type
|-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
================================================================================
[response] found askHyperlinkPos for `Blubb` at (13,7) ContextBounds.scala
================================================================================
| |-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| | \-> <empty>.type / type
| |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | |-- new Blubb() EXPRmode (site: value blubb in ContextBound)
| | | |-- new Blubb BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value blubb in ContextBound)
| | | | |-- new Blubb EXPRmode-POLYmode-QUALmode (silent: value blubb in ContextBound)
| | | | | |-- Blubb FUNmode-TYPEmode (silent: value blubb in ContextBound)
| | | | | | \-> Blubb / Blubb
| | | | | \-> Blubb / new Blubb
| | | | \-> ()Blubb / ()Blubb
| | | \-> Blubb / ()Blubb
| | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | |-- A TYPEmode (site: method work in ContextBound)
| | | | \-> A / A
| | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | |-- Blubb TYPEmode (site: value f in ContextBound)
| | | | | \-> Blubb / Blubb
| | | | |-- A TYPEmode (site: value f in ContextBound)
| | | | | \-> A / A
| | | | \-> Blubb => A / T1 => R
| | | |-- Foo[A] TYPEmode (site: value evidence$3 in ContextBound)
| | | | |-- A NOmode (site: value evidence$3 in ContextBound)
| | | | | \-> A / A
| | | | \-> Foo[A] / Foo[A]
| | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | \-> Blubb => A / T1 => R
| | | |-- Foo[A] TYPEmode (site: value evidence$3 in ContextBound)
askHyperlinkPos for `Foo` at (4,17) ContextBounds.scala
================================================================================
[response] found askHyperlinkPos for `Foo` at (9,7) ContextBounds.scala
================================================================================
| |-- super EXPRmode-POLYmode-QUALmode (silent: <init> in ContextBound)
| | |-- this EXPRmode (silent: <init> in ContextBound)
| | | \-> ContextBound.type / ContextBound.type
| | \-> ContextBound.type / ContextBound.type
| |-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| | \-> <empty>.type / type
| |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | |-- A TYPEmode (site: method work in ContextBound)
| | | | \-> A / A
| | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | |-- Blubb TYPEmode (site: value f in ContextBound)
| | | | | \-> Blubb / Blubb
| | | | |-- A TYPEmode (site: value f in ContextBound)
| | | | | \-> A / A
| | | | \-> Blubb => A / T1 => R
| | | |-- Foo[A] TYPEmode (site: value evidence$4 in ContextBound)
| | | | |-- A NOmode (site: value evidence$4 in ContextBound)
| | | | | \-> A / A
| | | | \-> Foo[A] / Foo[A]
| | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
askHyperlinkPos for `Blubb` at (4,32) ContextBounds.scala
================================================================================
[response] found askHyperlinkPos for `Blubb` at (13,7) ContextBounds.scala
================================================================================
| |-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| | \-> <empty>.type / type
| |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | |-- A TYPEmode (site: method work in ContextBound)
| | | | \-> A / A
| | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | |-- Blubb TYPEmode (site: value f in ContextBound)
| | | | | \-> Blubb / Blubb
| | | | |-- A TYPEmode (site: value f in ContextBound)
| | | | | \-> A / A
| | | | \-> Blubb => A / T1 => R
| | | |-- Foo[A] TYPEmode (site: value evidence$5 in ContextBound)
| | | | |-- A NOmode (site: value evidence$5 in ContextBound)
| | | | | \-> A / A
| | | | \-> Foo[A] / Foo[A]
| | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
askHyperlinkPos for `A` at (4,42) ContextBounds.scala
================================================================================
[response] found askHyperlinkPos for `A` at (4,12) ContextBounds.scala
================================================================================
| |-- new Blubb() EXPRmode (site: value blubb in ContextBound)
| | |-- new Blubb BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value blubb in ContextBound)
| | | |-- new Blubb EXPRmode-POLYmode-QUALmode (silent: value blubb in ContextBound)
| | | | |-- Blubb FUNmode-TYPEmode (silent: value blubb in ContextBound)
| | | | | \-> Blubb / Blubb
| | | | \-> Blubb / new Blubb
| | | \-> ()Blubb / ()Blubb
| | \-> Blubb / ()Blubb
| |-- Blubb BYVALmode-EXPRmode (site: object ContextBound)
askHyperlinkPos for `A` at (4,51) ContextBounds.scala
| | \-> [val blubb] Blubb / Blubb
| |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | |-- A TYPEmode (site: method work in ContextBound)
| | | \-> A / A
| | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | |-- Blubb TYPEmode (site: value f in ContextBound)
| | | | \-> Blubb / Blubb
| | | |-- A TYPEmode (site: value f in ContextBound)
| | | | \-> A / A
| | | \-> Blubb => A / T1 => R
| | |-- Foo[A] TYPEmode (site: value evidence$1 in ContextBound)
| | | |-- A NOmode (site: value evidence$1 in ContextBound)
| | | | \-> A / A
| | | \-> Foo[A] / Foo[A]
================================================================================
[response] found askHyperlinkPos for `A` at (4,12) ContextBounds.scala
================================================================================
| | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | | | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | | | |-- T1 => R TYPEmode (site: value f in ContextBound)
| | | | | | \-> Blubb => A / T1 => R
| | | | | |-- Foo[A] TYPEmode (site: value evidence$5 in ContextBound)
| | | | | | \-> Foo[A] / Foo[A]
| | | | | |-- f(blubb).ensuring(((x$5) => implicitly[Foo[A]].foo(x$5).$... : pt=A EXPRmode (site: method work in ContextBound)
| | | | | | |-- f(blubb).ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | |-- f(blubb) EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | |-- f BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | |-- f.apply BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | | [adapt] Blubb => A adapted to (v1: T1)R
| | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | |-- blubb : pt=Blubb BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | | | |-- new Blubb() EXPRmode (site: value blubb in ContextBound)
| | | | | | | | | | |-- new Blubb BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value blubb in ContextBound)
| | | | | | | | | | | |-- new Blubb EXPRmode-POLYmode-QUALmode (silent: value blubb in ContextBound)
| | | | | | | | | | | | |-- Blubb FUNmode-TYPEmode (silent: value blubb in ContextBound)
| | | | | | | | | | | | | \-> Blubb / Blubb
| | | | | | | | | | | | \-> Blubb / new Blubb
| | | | | | | | | | | \-> ()Blubb / ()Blubb
| | | | | | | | | | \-> Blubb / ()Blubb
| | | | | | | | | \-> Blubb / => Blubb
| | | | | | | | \-> A / (v1: T1)R
| | | | | | | |-- Ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound) implicits disabled
| | | | | | | | \-> Ensuring.type <and> [A](self: A)Ensuring[A] / Ensuring.type <and> [A](self: A)Ensuring[A]
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | [adapt] Ensuring adapted to [A](self: A)Ensuring[A] based on pt A => ?{def ensuring: ?}
| | | | | | | |-- [A](self: A)Ensuring[A] EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | \-> Ensuring[A] / [A](self: A)Ensuring[A]
| | | | | | | |-- scala.this.Predef.Ensuring[A](f.apply(ContextBound.this.b... BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | |-- ((x$5) => implicitly[Foo[A]].foo(x$5).$greater$eq(42)) : pt=A => Boolean BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | |-- implicitly[Foo[A]].foo(x$5).$greater$eq(42) : pt=Boolean EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | |-- implicitly[Foo[A]].foo(x$5).$greater$eq BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | |-- implicitly[Foo[A]].foo(x$5) EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | |-- implicitly[Foo[A]].foo BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | |-- implicitly[Foo[A]] EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | |-- implicitly BYVALmode-EXPRmode-FUNmode-POLYmode-TAPPmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> [T](implicit e: T)T / [T](implicit e: T)T
| | | | | | | | | | | | |-- Foo[A] TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | |-- A TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | | \-> A / A
| | | | | | | | | | | | | \-> Foo[A] / Foo[A]
| | | | | | | | | | | | |-- [T](implicit e: T)T EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | | [adapt] [T](implicit e: T)T adapted to [T](implicit e: T)T
| | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | |-- Int TYPEmode (site: method foo in Foo)
| | | | | | | | | | | | \-> Int / Int
| | | | | | | | | | | |-- A TYPEmode (site: value a in Foo)
| | | | | | | | | | | | \-> A / A
| | | | | | | | | | | \-> (a: A)Int / (a: A)Int
| | | | | | | | | | |-- x$5 : pt=A BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | \-> A / A
| | | | | | | | | | \-> Int / (a: A)Int
| | | | | | | | | \-> (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean / (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean
| | | | | | | | |-- 42 BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | | \-> Int(42) / 42
| | | | | | | | \-> Boolean / (x: Int)Boolean
| | | | | | | \-> A => Boolean / <notype>
askHyperlinkPos for `blubb` at (4,66) ContextBounds.scala
| | | |-- new Blubb() EXPRmode (site: value blubb in ContextBound)
| | | | |-- new Blubb BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value blubb in ContextBound)
| | | | | |-- new Blubb EXPRmode-POLYmode-QUALmode (silent: value blubb in ContextBound)
| | | | | | |-- Blubb FUNmode-TYPEmode (silent: value blubb in ContextBound)
| | | | | | | \-> Blubb / Blubb
| | | | | | \-> Blubb / new Blubb
| | | | | \-> ()Blubb / ()Blubb
| | | | \-> Blubb / ()Blubb
================================================================================
[response] found askHyperlinkPos for `blubb` at (2,7) ContextBounds.scala
================================================================================
| | | \-> Blubb => A / T1 => R
| | |-- Foo[A] TYPEmode (site: value evidence$1 in ContextBound)
| | | |-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| | | | \-> <empty>.type / type
| | | |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | | | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | | | |-- A TYPEmode (site: method work in ContextBound)
| | | | | | \-> A / A
| | | | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | | | |-- Blubb TYPEmode (site: value f in ContextBound)
| | | | | | | \-> Blubb / Blubb
| | | | | | |-- A TYPEmode (site: value f in ContextBound)
| | | | | | | \-> A / A
| | | | | | \-> Blubb => A / T1 => R
| | | | | |-- Foo[A] TYPEmode (site: value evidence$6 in ContextBound)
| | | | | | |-- A TYPEmode (site: value evidence$6 in ContextBound)
| | | | | | | \-> A / A
| | | | | | \-> Foo[A] / Foo[A]
| | | | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | | | \-> Blubb => A / T1 => R
| | | | | |-- Foo[A] TYPEmode (site: value evidence$6 in ContextBound)
| | | | | | \-> Foo[A] / Foo[A]
| | | | | |-- f(blubb).ensuring(((x$6) => implicitly[Foo[A]].foo(x$6).$... : pt=A EXPRmode (site: method work in ContextBound)
| | | | | | |-- f(blubb).ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | |-- f(blubb) EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | |-- f BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | |-- f.apply BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | | [adapt] Blubb => A adapted to (v1: T1)R
| | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | |-- blubb : pt=Blubb BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | | | \-> Blubb / => Blubb
| | | | | | | | \-> A / (v1: T1)R
| | | | | | | |-- Ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound) implicits disabled
| | | | | | | | \-> Ensuring.type <and> [A](self: A)Ensuring[A] / Ensuring.type <and> [A](self: A)Ensuring[A]
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | [adapt] Ensuring adapted to [A](self: A)Ensuring[A] based on pt A => ?{def ensuring: ?}
| | | | | | | |-- [A](self: A)Ensuring[A] EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | \-> Ensuring[A] / [A](self: A)Ensuring[A]
| | | | | | | |-- scala.this.Predef.Ensuring[A](f.apply(ContextBound.this.b... BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | |-- ((x$6) => implicitly[Foo[A]].foo(x$6).$greater$eq(42)) : pt=A => Boolean BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | |-- implicitly[Foo[A]].foo(x$6).$greater$eq(42) : pt=Boolean EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | |-- implicitly[Foo[A]].foo(x$6).$greater$eq BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | |-- implicitly[Foo[A]].foo(x$6) EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | |-- implicitly[Foo[A]].foo BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | |-- implicitly[Foo[A]] EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | |-- implicitly BYVALmode-EXPRmode-FUNmode-POLYmode-TAPPmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> [T](implicit e: T)T / [T](implicit e: T)T
| | | | | | | | | | | | |-- Foo[A] TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | |-- A TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | | \-> A / A
| | | | | | | | | | | | | \-> Foo[A] / Foo[A]
| | | | | | | | | | | | |-- [T](implicit e: T)T EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | | [adapt] [T](implicit e: T)T adapted to [T](implicit e: T)T
| | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | |-- Int TYPEmode (site: method foo in Foo)
| | | | | | | | | | | | \-> Int / Int
| | | | | | | | | | | |-- A TYPEmode (site: value a in Foo)
| | | | | | | | | | | | \-> A / A
| | | | | | | | | | | \-> (a: A)Int / (a: A)Int
| | | | | | | | | | |-- x$6 : pt=A BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | \-> A / A
| | | | | | | | | | \-> Int / (a: A)Int
| | | | | | | | | \-> (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean / (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean
| | | | | | | | |-- 42 BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | | \-> Int(42) / 42
| | | | | | | | \-> Boolean / (x: Int)Boolean
| | | | | | | \-> A => Boolean / <notype>
| | | \-> Foo[A] / Foo[A]
askHyperlinkPos for `Foo` at (5,18) ContextBounds.scala
================================================================================
[response] found askHyperlinkPos for `Foo` at (9,7) ContextBounds.scala
================================================================================
| | |-- f(blubb).ensuring(((x$1) => implicitly[Foo[A]].foo(x$1).$... : pt=A EXPRmode (site: method work in ContextBound)
| | | |-- f(blubb).ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | |-- f(blubb) EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | |-- f BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | |-- f.apply BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | [adapt] Blubb => A adapted to (v1: T1)R
| | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | |-- blubb : pt=Blubb BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | |-- new Blubb() EXPRmode (site: value blubb in ContextBound)
| | | | | | | |-- new Blubb BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value blubb in ContextBound)
| | | | | | | | |-- new Blubb EXPRmode-POLYmode-QUALmode (silent: value blubb in ContextBound)
| | | | | | | | | |-- Blubb FUNmode-TYPEmode (silent: value blubb in ContextBound)
| | | | | | | | | | \-> Blubb / Blubb
| | | | | | | | | \-> Blubb / new Blubb
| | | | | | | | \-> ()Blubb / ()Blubb
| | | | | | | \-> Blubb / ()Blubb
| | | | | | \-> Blubb / => Blubb
| | | | | \-> A / (v1: T1)R
| | | | |-- Ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound) implicits disabled
| | | | | \-> Ensuring.type <and> [A](self: A)Ensuring[A] / Ensuring.type <and> [A](self: A)Ensuring[A]
| | | | solving for (A: ?A)
| | | | solving for (A: ?A)
| | | | solving for (A: ?A)
| | | | [adapt] Ensuring adapted to [A](self: A)Ensuring[A] based on pt A => ?{def ensuring: ?}
| | | | |-- [A](self: A)Ensuring[A] EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | \-> Ensuring[A] / [A](self: A)Ensuring[A]
| | | | |-- scala.this.Predef.Ensuring[A](f.apply(ContextBound.this.b... BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | |-- ((x$1) => implicitly[Foo[A]].foo(x$1).$greater$eq(42)) : pt=A => Boolean BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | |-- implicitly[Foo[A]].foo(x$1).$greater$eq(42) : pt=Boolean EXPRmode (silent: value $anonfun in ContextBound)
| | | | | |-- implicitly[Foo[A]].foo(x$1).$greater$eq BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | |-- implicitly[Foo[A]].foo(x$1) EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | |-- implicitly[Foo[A]].foo BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | |-- implicitly[Foo[A]] EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | |-- implicitly BYVALmode-EXPRmode-FUNmode-POLYmode-TAPPmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | \-> [T](implicit e: T)T / [T](implicit e: T)T
| | | | | | | | | |-- Foo[A] TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | |-- A TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | \-> A / A
| | | | | | | | | | \-> Foo[A] / Foo[A]
| | | | | | | | | |-- [T](implicit e: T)T EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | [adapt] [T](implicit e: T)T adapted to [T](implicit e: T)T
| | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | |-- Int TYPEmode (site: method foo in Foo)
| | | | | | | | | \-> Int / Int
| | | | | | | | |-- A TYPEmode (site: value a in Foo)
| | | | | | | | | \-> A / A
| | | | | | | | \-> (a: A)Int / (a: A)Int
| | | | | | | |-- x$1 : pt=A BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | \-> A / A
| | | | | | | \-> Int / (a: A)Int
| | | | | | \-> (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean / (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean
| | | | | |-- 42 BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | \-> Int(42) / 42
| | | | | \-> Boolean / (x: Int)Boolean
| | | | \-> A => Boolean / <notype>
| | | |-- <empty> EXPRmode-POLYmode-QUALmode (site: package <root>)
| | | | \-> <empty>.type / type
| | | |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | | | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | | | |-- A TYPEmode (site: method work in ContextBound)
| | | | | | \-> A / A
| | | | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | | | |-- Blubb TYPEmode (site: value f in ContextBound)
| | | | | | | \-> Blubb / Blubb
| | | | | | |-- A TYPEmode (site: value f in ContextBound)
| | | | | | | \-> A / A
| | | | | | \-> Blubb => A / T1 => R
| | | | | |-- Foo[A] TYPEmode (site: value evidence$7 in ContextBound)
| | | | | | |-- A TYPEmode (site: value evidence$7 in ContextBound)
| | | | | | | \-> A / A
| | | | | | \-> Foo[A] / Foo[A]
| | | | | |-- _root_.scala.Function1[Blubb, A] TYPEmode (site: value f in ContextBound)
| | | | | | \-> Blubb => A / T1 => R
| | | | | |-- Foo[A] TYPEmode (site: value evidence$7 in ContextBound)
| | | | | | \-> Foo[A] / Foo[A]
| | | | | |-- f(blubb).ensuring(((x$7) => implicitly[Foo[A]].foo(x$7).$... : pt=A EXPRmode (site: method work in ContextBound)
| | | | | | |-- f(blubb).ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | |-- f(blubb) EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | |-- f BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | |-- f.apply BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | | [adapt] Blubb => A adapted to (v1: T1)R
| | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | |-- blubb : pt=Blubb BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | | | \-> Blubb / => Blubb
| | | | | | | | \-> A / (v1: T1)R
| | | | | | | |-- Ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound) implicits disabled
| | | | | | | | \-> Ensuring.type <and> [A](self: A)Ensuring[A] / Ensuring.type <and> [A](self: A)Ensuring[A]
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | [adapt] Ensuring adapted to [A](self: A)Ensuring[A] based on pt A => ?{def ensuring: ?}
| | | | | | | |-- [A](self: A)Ensuring[A] EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | \-> Ensuring[A] / [A](self: A)Ensuring[A]
| | | | | | | |-- scala.this.Predef.Ensuring[A](f.apply(ContextBound.this.b... BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | |-- ((x$7) => implicitly[Foo[A]].foo(x$7).$greater$eq(42)) : pt=A => Boolean BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | |-- implicitly[Foo[A]].foo(x$7).$greater$eq(42) : pt=Boolean EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | |-- implicitly[Foo[A]].foo(x$7).$greater$eq BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | |-- implicitly[Foo[A]].foo(x$7) EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | |-- implicitly[Foo[A]].foo BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | |-- implicitly[Foo[A]] EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | |-- implicitly BYVALmode-EXPRmode-FUNmode-POLYmode-TAPPmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> [T](implicit e: T)T / [T](implicit e: T)T
| | | | | | | | | | | | |-- Foo[A] TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | |-- A TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | | \-> A / A
| | | | | | | | | | | | | \-> Foo[A] / Foo[A]
| | | | | | | | | | | | |-- [T](implicit e: T)T EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | | [adapt] [T](implicit e: T)T adapted to [T](implicit e: T)T
| | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | \-> (a: A)Int / (a: A)Int
| | | | | | | | | | |-- x$7 : pt=A BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | \-> A / A
| | | | | | | | | | \-> Int / (a: A)Int
| | | | | | | | | \-> (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean / (x: Double)Boolean <and> (x: Float)Boolean <and> (x: Long)Boolean <and> (x: Int)Boolean <and> (x: Char)Boolean <and> (x: Short)Boolean <and> (x: Byte)Boolean
| | | | | | | | |-- 42 BYVALmode-EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | | \-> Int(42) / 42
| | | | | | | | \-> Boolean / (x: Int)Boolean
| | | | | | | \-> A => Boolean / <notype>
| | | \-> A / (cond: A => Boolean)A
| | \-> [def work] [A](f: Blubb => A)(implicit evidence$1: Foo[A])A / def work[A]
| \-> [object ContextBound] ContextBound.type / object ContextBound
|-- class Foo[A] BYVALmode-EXPRmode (site: package <empty>)
askHyperlinkPos for `A` at (5,25) ContextBounds.scala
| |-- def foo BYVALmode-EXPRmode (site: trait Foo)
| | |-- Int TYPEmode (site: method foo in Foo)
| | | \-> Int / Int
| | |-- A TYPEmode (site: value a in Foo)
| | | \-> A / A
================================================================================
[response] found askHyperlinkPos for `A` at (4,12) ContextBounds.scala
================================================================================
| | |-- Int TYPEmode (site: method foo in Foo)
| | | |-- object ContextBound BYVALmode-EXPRmode (site: package <empty>)
| | | | |-- def work[A] BYVALmode-EXPRmode (site: object ContextBound)
| | | | | |-- T1 => R TYPEmode (site: value f in ContextBound)
| | | | | | \-> Blubb => A / T1 => R
| | | | | |-- Foo[A] TYPEmode (site: value evidence$7 in ContextBound)
| | | | | | \-> Foo[A] / Foo[A]
| | | | | |-- f(blubb).ensuring(((x$7: A) => implicitly[Foo[A]].foo(x$7... : pt=A EXPRmode (site: method work in ContextBound)
| | | | | | |-- f(blubb).ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | |-- Blubb => A EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | |-- f.apply BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | | \-> (v1: Blubb)A / (v1: T1)R
| | | | | | | | [adapt] Blubb => A adapted to (v1: T1)R
| | | | | | | | |-- blubb : pt=Blubb BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | | | \-> Blubb / => Blubb
| | | | | | | | \-> A / (v1: T1)R
| | | | | | | |-- Ensuring BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound) implicits disabled
| | | | | | | | \-> Ensuring.type <and> [A](self: A)Ensuring[A] / Ensuring.type <and> [A](self: A)Ensuring[A]
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | solving for (A: ?A)
| | | | | | | [adapt] Ensuring adapted to [A](self: A)Ensuring[A] based on pt A => ?{def ensuring: ?}
| | | | | | | |-- [A](self: A)Ensuring[A] EXPRmode-POLYmode-QUALmode (silent: method work in ContextBound)
| | | | | | | | \-> Ensuring[A] / [A](self: A)Ensuring[A]
| | | | | | | |-- scala.this.Predef.Ensuring[A](f.apply(ContextBound.this.b... BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method work in ContextBound)
| | | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | | \-> (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A / (cond: A => Boolean, msg: => Any)A <and> (cond: A => Boolean)A <and> (cond: Boolean, msg: => Any)A <and> (cond: Boolean)A
| | | | | | |-- <notype> : pt=A => Boolean BYVALmode-EXPRmode (silent: method work in ContextBound)
| | | | | | | |-- implicitly[Foo[A]].foo(x$7).$greater$eq(42) : pt=Boolean EXPRmode (silent: value $anonfun in ContextBound)
| | | | | | | | |-- implicitly[Foo[A]].foo(x$7).$greater$eq BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | |-- implicitly[Foo[A]].foo(x$7) EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | |-- implicitly[Foo[A]].foo BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | |-- implicitly[Foo[A]] EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | |-- implicitly BYVALmode-EXPRmode-FUNmode-POLYmode-TAPPmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> [T](implicit e: T)T / [T](implicit e: T)T
| | | | | | | | | | | | |-- Foo[A] TYPEmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> Foo[A] / Foo[A]
| | | | | | | | | | | | |-- [T](implicit e: T)T EXPRmode-POLYmode-QUALmode (silent: value $anonfun in ContextBound)
| | | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | | [adapt] [T](implicit e: T)T adapted to [T](implicit e: T)T
| | | | | | | | | | | | \-> Foo[A] / [T](implicit e: T)T
| | | | | | | | | | | \-> (a: A)Int <and> (a: A)Int / (a: A)Int <and> (a: A)Int
| | | | | | | | | | second try: <error> and A
| | | | | | | | | | \-> <error> / <error>
| | | | | | | | | \-> <error> / <error>
| | | | | | | | \-> <error> / implicitly[Foo[A]].foo(x$7).$greater$eq(42)
| | | | | | | \-> A => <error> / <notype>
| | | | | | no second try: (cond: A => Boolean)A and <notype> because error not in result: RangePosition(context-bounds1_18/src/ContextBounds.scala, 140, 169, 172)!=RangePosition(context-bounds1_18/src/ContextBounds.scala, 111, 125, 186)
| | | \-> Int / Int
ERROR: Right(java.lang.RuntimeException: implicitly[Foo[A]].foo(x$7) scala.tools.nsc.interactive.Global.signalDone(Global.scala:353)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5360)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.runWith(TypersTracking.scala:85)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTypedInternal(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTyped(TypersTracking.scala:135)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.transformedOrTyped(Typers.scala:5547)
scala.tools.nsc.typechecker.Typers$Typer.typedDefDef(Typers.scala:2208)
scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5250)
scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5301)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5338)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.runWith(TypersTracking.scala:85)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTypedInternal(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTyped(TypersTracking.scala:135)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typedByValueExpr(Typers.scala:5394)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:3016)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.collection.immutable.List.loop$1(List.scala:172)
scala.collection.immutable.List.mapConserve(List.scala:188)
scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:1923)
scala.tools.nsc.typechecker.Typers$Typer.typedModuleDef(Typers.scala:1784)
scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5252)
scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5301)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5338)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.runWith(TypersTracking.scala:85)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTypedInternal(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTyped(TypersTracking.scala:135)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typedByValueExpr(Typers.scala:5394)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:3016)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.collection.immutable.List.loop$1(List.scala:172)
scala.collection.immutable.List.mapConserve(List.scala:188)
scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer.typedPackageDef$1(Typers.scala:4961)
scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5254)
scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5301)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5338)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5312)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5390)
scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3.apply(Analyzer.scala:102)
scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:425)
scala.tools.nsc.interactive.Global$TyperRun$$anonfun$applyPhase$1.apply$mcV$sp(Global.scala:1227)
scala.tools.nsc.interactive.Global$TyperRun$$anonfun$applyPhase$1.apply(Global.scala:1227)
scala.tools.nsc.interactive.Global$TyperRun$$anonfun$applyPhase$1.apply(Global.scala:1227)
scala.reflect.internal.SymbolTable.enteringPhase(SymbolTable.scala:243)
scala.tools.nsc.interactive.Global$TyperRun.applyPhase(Global.scala:1227)
scala.tools.nsc.interactive.Global$TyperRun.typeCheck(Global.scala:1220)
scala.tools.nsc.interactive.Global.scala$tools$nsc$interactive$Global$$typeCheck(Global.scala:669)
scala.tools.nsc.interactive.Global.scala$tools$nsc$interactive$Global$$typedTreeAt(Global.scala:818)
scala.tools.nsc.interactive.Global$$anonfun$getTypedTreeAt$1.apply(Global.scala:841)
scala.tools.nsc.interactive.Global$$anonfun$getTypedTreeAt$1.apply(Global.scala:841)
scala.tools.nsc.interactive.Global$$anonfun$respond$1.apply(Global.scala:700)
scala.tools.nsc.interactive.Global$$anonfun$respond$1.apply(Global.scala:700)
scala.tools.nsc.interactive.Global.respondGradually(Global.scala:707)
scala.tools.nsc.interactive.Global.respond(Global.scala:700)
scala.tools.nsc.interactive.Global.getTypedTreeAt(Global.scala:841)
scala.tools.nsc.interactive.CompilerControl$AskTypeAtItem.apply$mcV$sp(CompilerControl.scala:326)
scala.tools.nsc.interactive.Global$$anonfun$pollForWork$1.apply$mcV$sp(Global.scala:505)
scala.util.control.Breaks.breakable(Breaks.scala:38)
scala.tools.nsc.interactive.Global.pollForWork(Global.scala:430)
scala.tools.nsc.interactive.Global.checkForMoreWork(Global.scala:519)
scala.tools.nsc.interactive.Global.signalDone(Global.scala:360)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5360)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.runWith(TypersTracking.scala:85)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTypedInternal(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTyped(TypersTracking.scala:135)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typedType(Typers.scala:5459)
scala.tools.nsc.typechecker.Typers$Typer.typedType(Typers.scala:5462)
scala.tools.nsc.typechecker.Typers$Typer.typedDefDef(Typers.scala:2191)
scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5250)
scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5301)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5338)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.runWith(TypersTracking.scala:85)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTypedInternal(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTyped(TypersTracking.scala:135)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typedByValueExpr(Typers.scala:5394)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:3016)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.collection.immutable.List.loop$1(List.scala:172)
scala.collection.immutable.List.mapConserve(List.scala:188)
scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:1923)
scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:1743)
scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5251)
scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5301)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5338)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$body$2$1.apply(Typers.scala:5310)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$$anonfun$nextTypedInternal$1.apply(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.runWith(TypersTracking.scala:85)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTypedInternal(TypersTracking.scala:141)
scala.tools.nsc.typechecker.TypersTracking$typingStack$.nextTyped(TypersTracking.scala:135)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5310)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typedByValueExpr(Typers.scala:5394)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:3016)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer$$anonfun$64.apply(Typers.scala:3120)
scala.collection.immutable.List.loop$1(List.scala:172)
scala.collection.immutable.List.mapConserve(List.scala:188)
scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:3120)
scala.tools.nsc.typechecker.Typers$Typer.typedPackageDef$1(Typers.scala:4961)
scala.tools.nsc.typechecker.Typers$Typer.typedMemberDef$1(Typers.scala:5254)
scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:5301)
scala.tools.nsc.typechecker.Typers$Typer.runTyper$1(Typers.scala:5338)
scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedInternal(Typers.scala:5365)
scala.tools.nsc.typechecker.Typers$Typer.body$2(Typers.scala:5312)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5316)
scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5390)
scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3.apply(Analyzer.scala:102)
scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:425)
scala.tools.nsc.interactive.Global$TyperRun$$anonfun$applyPhase$1.apply$mcV$sp(Global.scala:1227)
scala.tools.nsc.interactive.Global$TyperRun$$anonfun$applyPhase$1.apply(Global.scala:1227)
scala.tools.nsc.interactive.Global$TyperRun$$anonfun$applyPhase$1.apply(Global.scala:1227)
scala.reflect.internal.SymbolTable.enteringPhase(SymbolTable.scala:243)
scala.tools.nsc.interactive.Global$TyperRun.applyPhase(Global.scala:1227)
scala.tools.nsc.interactive.Global$TyperRun.typeCheck(Global.scala:1220)
scala.tools.nsc.interactive.Global.scala$tools$nsc$interactive$Global$$typeCheck(Global.scala:669)
scala.tools.nsc.interactive.Global$$anonfun$backgroundCompile$5$$anonfun$apply$8.apply(Global.scala:585)
scala.tools.nsc.interactive.Global$$anonfun$backgroundCompile$5$$anonfun$apply$8.apply(Global.scala:581)
scala.Option.foreach(Option.scala:245)
scala.tools.nsc.interactive.Global$$anonfun$backgroundCompile$5.apply(Global.scala:581)
scala.tools.nsc.interactive.Global$$anonfun$backgroundCompile$5.apply(Global.scala:581)
scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:778)
scala.collection.immutable.List.foreach(List.scala:302)
scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:777)
scala.tools.nsc.interactive.Global.backgroundCompile(Global.scala:581)
scala.tools.nsc.interactive.PresentationCompilerThread.run(PresentationCompilerThread.scala:25))
askHyperlinkPos for `A` at (10,14) ContextBounds.scala
================================================================================
[response] found askHyperlinkPos for `A` at (9,11) ContextBounds.scala
================================================================================
| | \-> [def foo] (a: A)Int / def foo
@retronym
Copy link
Author 

signalDone(
  f(blubb).ensuring(((x$7: A) => implicitly[Foo[A]].foo(x$7).$greater$eq(42))),
  scala.this.Predef.Ensuring[A](f.apply(ContextBound.this.blubb)).ensuring(((x$7: A) => implicitly[Foo[A]].foo(x$7).$greater$eq(42))),
   <error>,
  implicitly[Foo[A]].foo(x$7)
) scala.tools.nsc.interactive.Global.signalDone(Global.scala:353)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment