This inspection reports local variables' explicitly given types which are obvious and thus redundant, like val f: Foo = Foo().