DfaValue (PsiNewExpression expression) { PsiType type = expression.getType(); if (type != null && ConstructionUtils.isEmptyCollectionInitializer(expression)) { DfType dfType = SpecialField.COLLECTION_SIZE.asDfType(DfTypes.intValue(0)) .meet(TypeConstraints.exact(type).asDfType()) .meet(DfTypes.LOCAL_OBJECT); return myFactory.fromDfType(dfType); } return null; }