A falha de substituição é um erro com parâmetros de modelo não-tipo dependentes?

Digamos que eu tenha esses aliases de modelo:

SFINAE - Tentando determinar se o tipo de modelo tem função de membro com tipo de retorno 'variável'

Como usar um enable_if para modelos de função não membros mutuamente exclusivos?

C ++ 11 style SFINAE e visibilidade de função na instanciação de template

Não tenho certeza se isso tem algo a ver com sfinae, ou apenas algo que é relevante para qualquer função modelada. Eu estou tentando usar sfinae para ativar ...

enable_if iterator como um parâmetro de modelo padrão?

O que é "Expressão SFINAE"?

sfinae com decltype: bug no clang ou no gcc?

aliases de modelos e sfinae

No caso de uma falha de substituição envolvendo um alias modelo (por exemplo. um alias de modelo em um typename de membro ausente, como no snippet de código ...

O que o 'void ()' em 'auto f (params) -> decltype (…, void ())' faz?

Eu encontrei códigoAqui que parecia algo assim:

Argumentos de modelo padrão não dependentes de modelos de função permitem SFINAE?

Com "não dependente", quero dizer "não dependente de quaisquer outros argumentos de modelo desse modelo de função específico".Enquanto re...