Carbon's Checked Generics: Fixing the C++ Template Error Message Problem
Carbon's checked generics are validated against declared interfaces at definition time, not at instantiation like C++ templates. Here's what that changes, with a worked comparison and honest trade-offs.
cpp