I believe TS will detect if you do a.b.c and b does not have c, in "transpile" time.