TypeDfaState () { TypeDfaState state = TypeDfaState.EMPTY_STATE; for (int descriptor : myFlowInfo.getInterestingDescriptors()) { PsiType initialType = myInitialTypeProvider.initialType(descriptor); if (initialType != null) { state = state.withNewType(descriptor, DFAType.create(initialType)); } } return state; }