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

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

wartremover

The newest version!

package org.wartremover
package warts

object RedundantIsInstanceOf 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 _ if hasWartAnnotation(tree) =>
          case _ if tree.isExpr =>
            tree.asExpr match {
              case '{
                    type t1
                    type t2
                    ($x: `t1`).isInstanceOf[`t2`]
                  } if TypeRepr.of[t1] <:< TypeRepr.of[t2] && sourceCodeContains(tree, "isInstanceOf") =>
                error(tree.pos, "redundant isInstanceOf")
              case _ =>
                super.traverseTree(tree)(owner)
            }
          case _ =>
            super.traverseTree(tree)(owner)
        }
      }
    }
  }
}