Move `BoundTy` to `ty::TyKind`

[rust.git] / src / librustc / infer / canonical / substitute.rs

diff --git a/src/librustc/infer/canonical/substitute.rs b/src/librustc/infer/canonical/substitute.rs
index 03441c3dee35e2ba40c49fb6b7e12bbe19fa3afa..80a2497bbf61338060cca07317720e6d6002ebf8 100644 (file)
--- a/src/librustc/infer/canonical/substitute.rs
+++ b/src/librustc/infer/canonical/substitute.rs
@@ -85,8 +85,7 @@ fn tcx(&self) -> TyCtxt<'_, 'gcx, 'tcx> {
 
     fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx> {
         match t.sty {
-            ty::Infer(ty::InferTy::BoundTy(b)) => {
-                debug_assert_eq!(ty::INNERMOST, b.level);
+            ty::Bound(b) => {
                 match self.var_values.var_values[b.var].unpack() {
                     UnpackedKind::Type(ty) => ty,
                     r => bug!("{:?} is a type but value is {:?}", b, r),