If I'm reading this right, we're guaranteed not to get "semantic duplicates" (e.g., `foo::default` vs. `foo`) because the condition for the `if` statement checks duplicates?