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

spurious "scrutinee is incompatible with pattern type; found T.this.A, required T#A"

    Details

      Description

      trait T {
        final case class A()
      
        // Was:
        // error: scrutinee is incompatible with pattern type;
        // found   : T.this.A
        // required: T#A
        def foo(a: T#A) = a match {
          case _: A => true; case _ => false
        }
      }
      

        Activity

        Show
        Jason Zaugg added a comment - https://github.com/scala/scala/pull/2157

          People

          • Assignee:
            Jason Zaugg
            Reporter:
            Jason Zaugg
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development