Почему некоторые типы странно себя ведут?

Question

[Alexandroppolus]

тип {} заявлен как "любое значение, кроме null и undefined". Тип object - "любое непримитивное значение".

Суть вопроса:

let o: object = 1; // закономерная ошибка

let a: {} = 1;
let o2: object = a; // почему тут нет ошибки?

в object заехал примитив. Это ведь баг, или что? {} здесь выглядит как подмножество object

Comments

[WbICHA]

Я решил разобраться в данном вопросе и с этой целью я посетил порнгитхаб. Я покопался в недрах тайпскрипта и теперь я могу с уверенностью сказать, что там чёрт ногу сломит. И не раз.
Иными словами, ответ на твой вопрос: а хрен его знает.)
Но если у кого-то ещё возникнет аналогичное желание, то вот ссылочка, чтобы не искать: https://github.com/microsoft/TypeScript

[Alexandroppolus]

WbICHA, я уже видел этот репо и проникся благоговейным ужасом перед файлом src/compiler/checker.ts )

В целом, подозреваю, что имеет место баг.

[WbICHA]

Alexandroppolus,

В целом, подозреваю, что имеет место баг.

Трудно сказать, потому что если сделать так, чтобы пустой объект нельзя было присвоить объекту, то это будет и нелогично, и будет вызывать ошибки в таких местах, хотя никаких ошибок быть недолжно.
Можно ли в баг записать присвоения любого значения пустому объекту? Ну, это задокументированное поведение и считается фичей, а не багом. Хотя лично я не очень понимаю зачем так сделали.
Поэтому что конкретно здесь считать багом?)

[Alexandroppolus]

WbICHA, то что тип "любое значение, кроме null и undefined" назвали "{}" - это кривой нейминг. Но раз уж назвали, то надо придерживаться иерархии, я так думаю.

[WbICHA]

Alexandroppolus, так-то всё в жсе объекты, так что это даже не ломающая фича.)
Но я тут ещё раз погуглил немного и, кажись, понял возможную причину. {} — это, по сути, алиас другого типа: Object (с большой буквы), а поскольку всё наследуется от Object (кроме нулл и андефайнд), то и присвоить можно любое значение. А присвоить его можно любому значению, потому что по сути это Record<any, any> со всеми вытекающими.
Все остальные типы расширяют базовый объект, а объекты наследуются от него напрямую и из-за этого банальная проверка на тип не работает.
Как-то так, если я всё правильно понял.