In following code:

public abstract class A {}
public class B : A {}
public class C : A {}
public class D
{
    public A GetClass(char className)
    {
        return className == 'B' ? 
               new B() : 
               className == 'C' ? new C() : null;
    }
}

R# highlights entire return expression and displays following error message: There is no implicit conversion between 'B' and 'C' which is true but return type is neither 'B' nor 'C' - it 'A' thus error is inappropriate.

Error can be removed by adding manual casting to (A):

public abstract class A {}
public class B : A {}	
public class C : A {}
public class D
{
    public A GetClass(char className)
    {
        return className == 'B' ? 
               (A)new B() : 
               className == 'C' ? (A)new C() : null;
    }
}

But then R# grays out (A) and warning says 'Type cast is redundant' which is correct. But since removing (A) brings us back error message from above, file never gets green light (it can be either red or orange).

Issue was closed