<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Subsumption on Substitution Failure</title><link>https://sub.fail/tags/subsumption/</link><description>Recent content in Subsumption on Substitution Failure</description><image><title>Substitution Failure</title><url>https://sub.fail/og-image.png</url><link>https://sub.fail/og-image.png</link></image><generator>Hugo</generator><language>en-gb</language><lastBuildDate>Sun, 25 Oct 2026 17:16:18 +0000</lastBuildDate><atom:link href="https://sub.fail/tags/subsumption/index.xml" rel="self" type="application/rss+xml"/><item><title>What is an evaluated concept?</title><link>https://sub.fail/posts/what-is-a-concept/</link><pubDate>Sun, 25 Oct 2026 17:16:18 +0000</pubDate><guid>https://sub.fail/posts/what-is-a-concept/</guid><description>What you get when you evaluate a C++ concept, what you get when you don&amp;rsquo;t, and why it matters for reflection and subsumption.</description></item></channel></rss>