universe에 마우스오버하면 satisfies 연산자를 사용하기 전과 동일하게 타입을 추론하고 있는 것을 확인할 수 있습니다.
const universe: { sun: string; sriius: string; earth: { type: string; parent: string; }; }
이제 earth의 속성도 에러 없이 쓸 수 있습니다.
universe.earth.type;