rustc_borrowck::type_check::canonical