dotnet/roslyn

CS0311 (cannot be used as type parameter) at wrong location

Open

#11.607 aberto em 27 de mai. de 2016

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)C# (4.257 forks)batch import
Area-CompilersBugConcept-Diagnostic Clarityhelp wanted

Métricas do repositório

Stars
 (20.414 stars)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (256 fundiu PRs em 30d)

Description

    class B<T1, T2>
        where T1 : B<T1, T2>.B1
        where T2 : B<T1, T2>.B2
    {
        public class B1 { }
        public class B2 { }
    }

    class D : B<D.D1, D.D2>
    {
        public class D1 { } // error expected here
        public class D2 : B2 { } // error shown here
    }

Actual CS0311 The type 'D.D1' cannot be used as type parameter 'T1' in the generic type or method 'B<T1, T2>'. There is no implicit reference conversion from 'D.D1' to 'B<D.D1, D.D2>.B1'. underlined D2

Expected: The same error but at D1 line.

Version: 2.0.0.60428

Guia do colaborador

Direção de pesquisa
Investigue a lógica de verificação de restrições para parâmetros de tipo aninhados e localize onde a localização do erro está definida incorretamente. Rastreie o fluxo do código de validação de restrições até o relatório de erro.
Pilha de tecnologia
csharp
Domain
compilers
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C#compiler internals
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50