d36bdf2d30
Track bound types like bound regions When we instantiate bound types into placeholder types, we throw away the names for some reason. These names are particularly useful for error reporting once we have `for<T>` binders. r? types
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.