This would improve several things: - It would enable polymorphic call caching in that CallLinkInfo. - Generation would become a const operation, so we wouldn't need to clone AccessCases. - The Generated state disappears.