ParentFull threaddanielheath·Did the comment you're replying to get edited? They are pretty explicitly talking about statically known type information, not runtime.View on HN