ParamAccessors are assumed to have definition

odersky · odersky · commit 9024f25e78a9 · 2014-08-09T13:40:54.000+02:00
Would be flagged as unimplemented members in refChecks otherwise
diff --git a/src/dotty/tools/dotc/ast/TreeInfo.scala b/src/dotty/tools/dotc/ast/TreeInfo.scala
@@ -261,7 +261,7 @@ trait TreeInfo[T >: Untyped <: Type] { self: Trees.Instance[T] =>
    *  is an abstract typoe declaration
    */
   def lacksDefinition(mdef: MemberDef) = mdef match {
-    case mdef: ValOrDefDef => mdef.rhs.isEmpty && !mdef.name.isConstructorName
+    case mdef: ValOrDefDef => mdef.rhs.isEmpty && !mdef.name.isConstructorName && !mdef.mods.is(ParamAccessor)
     case mdef: TypeDef => mdef.rhs.isEmpty || mdef.rhs.isInstanceOf[TypeBoundsTree]
     case _ => false
   }

Original file line number	Diff line number	Diff line change
`@@ -261,7 +261,7 @@ trait TreeInfo[T >: Untyped <: Type] { self: Trees.Instance[T] =>`
`261`	`261`	`* is an abstract typoe declaration`
`262`	`262`	`*/`
`263`	`263`	`def lacksDefinition(mdef: MemberDef) = mdef match {`
`264`		`- case mdef: ValOrDefDef => mdef.rhs.isEmpty && !mdef.name.isConstructorName`
	`264`	`+ case mdef: ValOrDefDef => mdef.rhs.isEmpty && !mdef.name.isConstructorName && !mdef.mods.is(ParamAccessor)`
`265`	`265`	`case mdef: TypeDef => mdef.rhs.isEmpty \|\| mdef.rhs.isInstanceOf[TypeBoundsTree]`
`266`	`266`	`case _ => false`
`267`	`267`	`}`