""object.property" is possibly undefined" in function only regardless of check

[dull delta]

https://www.typescriptlang.org/play/?#code/C4TwDgpgBAsiDKwBOBXAxsFToG8BQUhUAtiAApID2YAXFAEoRqVIAmAPAM7ICWAdgHMANFG5J+AgHwEipAPLAAFhCQVqAfjqNmbLr0EixE6QF88eZn24kEydJmx04iVBizQAvFBw21tb1AARACGgXSBAEaBJiLySip+dDiBaGFBrNFQZng8AGYAFKQu9u4AdHHKqlRgAJTe5kRQAPRNUGjBfFDBaGgQnJxQEZRKUGDVA8EDEAAekBgQrDKElpyUADYQpWuUAoW2rg6bpH6lwTVLbZRW65vbu0V2btjlIAqVJ2jnFyvANgBiKD4GB4VygXnydQ8knqjUaLSgrEofSgPF+xGCAGtoB0QKIIFYIOoUb8eBMen1OBIoPFRMFiNAeKx8cAeO01qNxlBQTTOHSGUy+Cy2VyIgArJjAC5w1ogCC-AAq8DaHQA5L9OBAGSqAG7YtbYYKsXFoZRoLGsKC5Fg2YpPI6veJVagqqbTUnADq9KVEeEQXWdJSUFACRTU5SWwHA0EAd0myrWGwtHQtfvxCKYa2C2CTuWAKjD0BNTAx3uWV1WGy2Oz2tsOLxOZ1Ll2ulbuNcedYqCWqpU+F2yjVIAKBLKuELwJiAA anybody got a clue on this or am i missing something?

[worldly jackal]

@dull delta Here's a shortened URL of your playground link! You can remove the full link from your message.

clauz2942#0

Playground Link

Preview:```ts
type MyStructure {
myProp: Record<string, string>
myOtherProp?: Record<string, string>
}

const myStructure: MyStructure = { myProp: { "a": "b"}, myOtherProp: {"c": "d"} }

if(myStructure.myOtherProp) {

// can access both props as expected
console.log(myStructure.myProp.a)

...```

You can choose specific lines to embed by selecting them before copying the link.

[ivory rune]

myFunction could theoretically be called later on at any point in your program, and somebody could do myStructure.myOtherProp = undefined in the meantime