nitc: adaptive typing apply non-nullness when fallbacking