Extract<T, U>

type Extract<T, U> = T extends U ? T : never

type Company = {
  id: string
  name: string
}

type Product = {
  price: number
  rating: number
}

type fakeProduct = Extract<Company | Product, Company>
// type fakeProduct = {
//    id: string;
//    name: string;
// }