TypeScript's Hidden Feature: Subtypes

I presume the details of this post got lost somewhere?

let x = () => ({ name: "Alice" });
let y = () => ({ name: "Alice", location: "Seattle" });
x = y; // OK
y = x; // Error, because x() lacks a location property`

https://www.typescriptlang.org/docs/handbook/type-compatibility.html

There doesn't seem to be an article directly on subtypes