Какой тип вернёт универсальная функция чтения поля объекта

function getField<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

type Product = { title: string; price: number; inStock: boolean };
declare const product: Product;

const a = getField(product, "price");
const b = getField(product, "discount");

Что скажет компилятор про a и b?