Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Loading…

Test case for SI-1557 #483

Merged
merged 1 commit into from

3 participants

@heathermiller

No description provided.

@scala-jenkins

jenkins job pr-scala-testsuite-linux-opt: Success - https://scala-webapps.epfl.ch/jenkins/job/pr-scala-testsuite-linux-opt/34/

@paulp paulp merged commit 8d4b503 into scala:master
@retronym retronym referenced this pull request from a commit in retronym/scala
@retronym retronym SI-6754 Position ClassTag based unapply
Range Positions didn't take kindly to it.

======= Position error
Unpositioned tree #483
   unpositioned [L  -1 P#  484] #483    [NoPosition]    UnApply    // UnApply
      enclosing [L   7        ] #484    [261:291]       CaseDef    // ru.TypeRef(_, _, args) => args;
        sibling [L  -1 P#  484] #483    [NoPosition]    UnApply    // UnApply
        sibling [L   7 P#  484] #79     [287:291]       Ident      // args;
414f25e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Commits on May 6, 2012
  1. @heathermiller

    Test case for SI-1557

    heathermiller authored
This page is out of date. Refresh to see the latest.
Showing with 18 additions and 0 deletions.
  1. +18 −0 test/pending/neg/t1557.scala
View
18 test/pending/neg/t1557.scala
@@ -0,0 +1,18 @@
+object Test extends App {
+ trait A
+ trait B extends A
+
+ trait C {
+ trait D { type T >: B <: A }
+ val y: (D with this.type)#T = new B { }
+ }
+
+ class D extends C {
+ trait E
+ type T = E
+ def frob(arg : E) : E = arg
+ frob(y)
+ }
+
+ new D
+}
Something went wrong with that request. Please try again.