cb512888f3
Use `VecMap::get` in `ConstraintLocator::check` Also rename the `def_id` param to `item_def_id` because that's easily confused with `self.def_id` (which is the opaque ty did).
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.