René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Rules do not apply recursively","articleBody":"Right now we have things like:\n```c++\ntemplate \u003ctypename T1\u003e\nstd::vector\u003cstd::vector\u003cT1\u003e\u003e f29(const std::vector\u003cstd::vector\u003cT1\u003e\u003e \u0026\u0026o) {\n  return std::vector\u003cstd::vector\u003cT1\u003e\u003e(std::move(o));\n}\n```\n\nThis leads to a lot of duplicated rules and it's not sustainable. Type instantiation must be done recursively using the \"box until last level\" algorithm.","author":{"url":"https://github.com/nunoplopes","@type":"Person","name":"nunoplopes"},"datePublished":"2026-04-19T18:37:11.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/15/cpp2rust/issues/15"}