De acordo com os ensinamentos do professor Rogério Sanches, existem quatro correntes acerca da relação entre tipicidade e ilicitude, quais sejam:
a) Corrente da absoluta independência ou da autonomia: a tipicidade não gera qualquer juízo de valor no campo da ilicitude. O fato pode ser típico e não ser ilícito.
b) Teoria da indiciariedade, também denominada de "ratio cognoscendi": a tipicidade gera suspeitas, indícios, presunção de ilicitude. Se o fato é típico presume-se, relativamente, a ilicitude.
c) Teoria dos elementos negativos do tipo: parte do pressuposto que todo e qualquer tipo penal é composto de elementos positivos e de elementos negativos. Os positivos são elementos explícitos e devem ocorrer para que o fato seja típico. E os negativos são elementos implícitos, não devem ocorrer para que o fato seja típico.
d) Corrente da absoluta dependência, também conhecida como "ratio essendi": a ilicitude é a essência da tipicidade, ou seja, sem ilicitude, não há fato típico. É desta corrente que deriva o tipo total do injusto, o que significa dizer que o fato típico só permanece típico se também ilícito.
"Para uma demonstração do efetivo acerto na adoção do neokantismo como ponto de partida à reflexão penal, imprescindível invocar os postulados de Edmund Mezger, doutrinador germânico responsável pela concepção mais refinada da teoria dos elementos negativos do tipo penal, ou do tipo total de injusto ou, como alcunhada modernamente, tipicidade conglobante ( [02]). Por esta teoria o crime, em seu conceito analítico, possui dois estratos: 1o) fato típico (contendo a antijuridicidade) e 2o) culpabilidade." (BALDAN, Edson Luis. Pressupostos neokantianos no juízo de tipicidade negativa de Mezger. Jus Navigandi, Teresina, ano 10, n. 1016, 13 abr. 2006.
Por fim, cabe a ressalva de que dentre as teorias apresentadas, prevalece a da indiciariedade.