contravariant fn argument types

contravariance.ts

interface Vehicle {
  color: string;
}

interface Car extends Vehicle {
  drive: () => void;
}

interface Bike extends Vehicle {
  peddle: () => void;
}

function noop() {
  return;
}

type VehicleActionFn = (v: Vehicle) => void;

function doSomething(action: VehicleActionFn): void {
  const car: Car = { color: 'green', drive: noop };
  action(car);
}

function peddleBike(bike: Bike): void {
  bike.peddle();
}

// doSomething(peddleBike as VehicleActionFn);
doSomething(peddleBike);