bb8d4307eb
There are a few places were we have to construct it, though, and a few places that are more invasive to change. To do this, we create a constructor with a long obvious name.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.