code: private boolean needsLocalVariableTypeEntry(Type t) {
          //a local variable needs a type-entry if its type T is generic
          //(i.e. |T| != T) and if it's not an intersection type (not supported
          //in signature attribute grammar)
          return (!types.isSameType(t, types.erasure(t)) &&
                  !t.isCompound());
      }
docs: where