org.wartremover.warts.DefaultArguments.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of wartremover_3.5.1 Show documentation

wartremover

There is a newer version: 3.2.4

package org.wartremover
package warts

object DefaultArguments extends WartTraverser {
  def apply(u: WartUniverse): u.Traverser = {
    new u.Traverser(this) {
      import q.reflect.*
      override def traverseTree(tree: Tree)(owner: Symbol): Unit = {
        tree match {
          case t if hasWartAnnotation(t) =>
          case t @ DefDef(name, _, _, _)
              if (name != "copy") &&
                t.termParamss
                  .flatMap(_.params)
                  .exists(p =>
                    p.symbol.flags.is(Flags.HasDefault) &&
                      !p.symbol.flags.is(Flags.Synthetic)
                  ) =>
            error(tree.pos, "Function has default arguments")
          case _ =>
            super.traverseTree(tree)(owner)
        }
      }
    }
  }
}