This inspection reports local variables' explicitly given types which are obvious and thus redundant, like

  val f: Foo = Foo()