Compartilho do mesmo problema que já postaram aqui, mas, no meu caso, não consegui solução com as respostas.
Já instalei o plugin do Lombok e mesmo assim ele não consegue reconhecer o @Getter, tenho que setar manualmente.
package med.voll.api.medico;
public record DadosListagemMedico( Long id, String nome, String email, String crm, Especialidade especialidade) {
public DadosListagemMedico(Medico medico){ this(medico.getId(), medico.getNome(), medico.getEmail(),medico.getCrm(),medico.getEspecialidade());
}
}
Todos esses gets ficam em vermelho caso eu não coloque manualmente, mesmo estando com @Getter
