C28020
Aviso C28020: A expressão <expr> não é verdadeira nesta chamada
Esse aviso é relatado quando a expressão de _Satisfies_ listada não for verdadeira.Geralmente isso indica um parâmetro incorreto.
Se isso ocorrer em uma declaração de função, as anotações indica uma condição impossível.