Given following TypeScript code
class NumberChecker { }
class StringChecker { }
class Component {}
class ComponentChecker { }
class Grid { }
class GridChecker { }
function check(element: number): NumberChecker;
function check(element: string): StringChecker;
function check(element: Grid): GridChecker;
function check(element: Component): ComponentChecker {
if (typeof element === 'number') {
return new NumberChecker();
}
if (typeof element === 'string') {
return new StringChecker();
}
if (element instanceof Component) {
return new ComponentChecker();
}
if (element instanceof Grid) {
return new GridChecker();
}
}
const a = check(2); // a is NumberChecker
const b = check('sdf'); // b is StringChecker
const c = check(new Component()); // c is GridChecker
const d = check(new Grid()); // d is GridChecker
Why c and d are both GridChecker? I was expecting c to be ComponentChecker.
ComponentandGridare currently compatible.Checkerclass will have different methods. If I try to add them, I get even more compilation errors. I though that return types didn't have to be compatible between each other.