​A 2ª Turma do Superior Tribunal de Justiça (STJ) entendeu que os proventos de aposentadoria ou reforma recebidos por pessoa diagnosticada como soropositiva para HIV, mesmo não tendo desenvolvido Síndrome da Imunodeficiência Adquirida (AIDS), tem isenção do Imposto de Renda da Pessoa Física (IRPF), nos termos do artigo 6º da Lei 7.713/1988.