Why does typescript give a type error on type unions?

interface A {
  type:'A';
  id: string;
  value: number;
}

interface B {
  type:'B';
  result: string;
}

export type Types = A | B;

function test(obj: Types) {
  if(obj.type==='B'){
    obj.result;
  }
}

You need a common field to teach TS how to recognize type A or B.

https://www.typescriptlang.org/docs/handbook/advanced-types.html#discriminated-unions

If you want that action you can use & operator like

type Types = A & B

you can merge A interface and B interface. It's naming Intersection Types

And I can write some info about this. Can you wait some minutes?

Reference

1. About & Intersection Types
2. About Union Tpyes

And now I know that what I got it was wrong. So if you want to use type gaurd it's work for you.

enum ALPHA_TYPE {
   A = "A",
   B = "B"
}
interface A {
   ...
}
interface B {
   ...
}
export type Types<T extends ALPHA_TYPE> = T extends A ? A : B

function test<T>(obj: Types<T>) {
  obj.result;  // want to work with obj as though it implements interface B
}

and you can use like

text<ALPHA_TYPE.A>()

interface A {
  id: string;
  value: number;
}

interface B {
  result: string;
}

 type Types = A | B;

function test(obj: Types) {
  const objB = obj as B; // Introduce a new variable and cast it as B
  objB.result; // Happy!!!
}

Just introduce a new variable and cast it to B, then you get to call .result on the object.