Scala Programming Language
  1. Scala Programming Language
  2. SI-4172

name of local class escapes into inferred type as free name

    Details

    • Type: Bug Bug
    • Status: Closed
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: Scala 2.10.0
    • Component/s: Misc Compiler
    • Labels:
      None

      Description

      scala> val c = { class C; ((new C, new C { def f = 2 })) }
      c: Tuple2[_ <: java.lang.Object with ScalaObject, _ <: C{def f: Int}] = (C$$1@809791,$$anon$$1@5edcf5)
      

      in the type of `c`, the class name `C` should be bound by an existential.

        Activity

        Hide
        Commit Message Bot added a comment -

        (extempore in r25391) Test case closes SI-4172 - I think the output is right anyway - review by rytz.

        Show
        Commit Message Bot added a comment - (extempore in r25391 ) Test case closes SI-4172 - I think the output is right anyway - review by rytz.

          People

          • Assignee:
            Lukas Rytz
            Reporter:
            Lukas Rytz
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development