Nondet type inférence