dotnet/roslyn

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

Open

#11.607 aperta il 27 mag 2016

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)C# (4257 fork)batch import
Area-CompilersBugConcept-Diagnostic Clarityhelp wanted

Metriche repository

Star
 (20.414 star)
Metriche merge PR
 (Merge medio 6g 17h) (256 PR mergiate in 30 g)

Descrizione

    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

Guida contributor