rustc_mir::borrow_check::type_check::canonical