a8ff647deb
This makes it possible to pass the `Impl` directly to functions, instead of having to pass each of the many fields one at a time. It also simplifies matches in many cases.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.