Неожиданное поведение компилятора typescript при использовании интерфейса функции с void

Если я определяю интерфейс функции с возвращаемым типом как число, компилятор предупредит меня

interface RequestHandler {
    (): number
}

// the compiler will prompt an error
// because " Type '() => boolean' is not assignable to type 'RequestHandler'" 
const handler: RequestHandler = function (): boolean {
    return false
}

Однако, если я это сделаю, компилятор, кажется, в порядке.

interface RequestHandler {
    (): void
}

const handler: RequestHandler = function (): boolean {
    return false
}

Сначала я предполагал, что функция с возвращаемым типом void будет принимать любой тип возвращаемого значения, что неверно в соответствии с этим:

// error TS2322: Type 'boolean' is not assignable to type 'void'
function foo(): void {
    return true
}

Думаю, мое предположение неверно, кто-нибудь может объяснить такое поведение?

Редактировать Ответ ABOS вдохновил меня узнать больше об этом поведении Я выложу новый кусок кода в качестве демонстрации

class Animal {
    eat() {}
}

// Dog is a subtype of Animal
class Dog extends Animal {
    bark() {}
}

interface AnimalBuilder {
    (): Animal
}

interface DogBuilder {
    (): Dog
}
// DogBuilder is a subtype of Animal Builder

declare let animalBuilder: AnimalBuilder
declare let dogBuilder: DogBuilder

// this demonstrate "co-variance"
animalBuilder = dogBuilder // Ok
dogBuilder = animalBuilder // Error

interface AnimalFeeder {
    (animal: Animal): void
}

interface DogFeeder {
    (dog: Dog): void
}
// ...while AnimalFeeder is a subtype of DogFeeder (under "strictFunctionTypes")
// this is called "contra-variance"
// Although counter-intuitive at first glance, it ensures stronger type safety 


declare let animalFeeder: AnimalFeeder
declare let dogFeeder: DogFeeder

// "contravariance"
dogFeeder = animalFeeder // Ok
animalFeeder = dogFeeder // Error when "--strictFunctionTypes"
// Ok when "strictFunctionTypes" is set to false, bi-variance