Current Type variance changes breaks the Liskov substitution principle

this-should-not-be-working.php

<?php

interface FuelType
{
}


class Gas implements FuelType
{
	public function burn(int $litres) {}
};


class Battery implements FuelType
{
	public function discharge(int $kWh) {}
};


class Vehicle
{
	public function drive(Gas $fuel)
	{
		$battery->burn(10);
	}
}


class ElectricVehicle extends Vehicle
{
	public function drive(FuelType $battery)
	{
		// do something
	}
}