Cleanups and comments

Author: jackh726

compiler/rustc_middle/src/ty/util.rs

@@ -504,7 +504,6 @@ impl<'tcx> TyCtxt<'tcx> {
  let closure_ty = self.mk_closure(closure_def_id, closure_substs);
  let closure_kind_ty = closure_substs.as_closure().kind_ty();
  let closure_kind = closure_kind_ty.to_opt_closure_kind()?;
- debug_assert!(!closure_ty.has_escaping_bound_vars());
  let env_ty = match closure_kind {
  ty::ClosureKind::Fn => self.mk_imm_ref(self.mk_region(env_region), closure_ty),
  ty::ClosureKind::FnMut => self.mk_mut_ref(self.mk_region(env_region), closure_ty),

compiler/rustc_mir/src/monomorphize/mod.rs

@@ -1,6 +1,6 @@
 use rustc_middle::traits;
 use rustc_middle::ty::adjustment::CustomCoerceUnsized;
-use rustc_middle::ty::{self, Ty, TyCtxt, TypeFoldable};
+use rustc_middle::ty::{self, Ty, TyCtxt};
 
 use rustc_hir::lang_items::LangItem;
 
@@ -15,8 +15,6 @@ fn custom_coerce_unsize_info<'tcx>(
 ) -> CustomCoerceUnsized {
  let def_id = tcx.require_lang_item(LangItem::CoerceUnsized, None);
 
- debug_assert!(!source_ty.has_escaping_bound_vars());
- debug_assert!(!target_ty.has_escaping_bound_vars());
  let trait_ref = ty::Binder::dummy(ty::TraitRef {
  def_id,
  substs: tcx.mk_substs_trait(source_ty, &[target_ty.into()]),

compiler/rustc_resolve/src/late.rs

@@ -34,7 +34,6 @@ use tracing::debug;
 
 mod diagnostics;
 crate mod lifetimes;
-crate mod supertraits;
 
 type Res = def::Res<NodeId>;
 

compiler/rustc_resolve/src/late/lifetimes.rs

@@ -82,7 +82,6 @@ impl<'tcx> AutoTraitFinder<'tcx> {
  ) -> AutoTraitResult<A> {
  let tcx = self.tcx;
 
- debug_assert!(!ty.has_escaping_bound_vars());
  let trait_ref = ty::TraitRef { def_id: trait_did, substs: tcx.mk_substs_trait(ty, &[]) };
 
  let trait_pred = ty::Binder::dummy(trait_ref);

compiler/rustc_resolve/src/late/supertraits.rs

@@ -2186,13 +2186,12 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
  }
  }
 
+ /// Parses the programmer's textual representation of a type into our
+ /// internal notion of a type.
  pub fn ast_ty_to_ty(&self, ast_ty: &hir::Ty<'_>) -> Ty<'tcx> {
  self.ast_ty_to_ty_inner(ast_ty, false)
  }
 
- /// Parses the programmer's textual representation of a type into our
- /// internal notion of a type.
- ///
  /// Turns a `hir::Ty` into a `Ty`. For diagnostics' purposes we keep track of whether trait
  /// objects are borrowed like `&dyn Trait` to avoid emitting redundant errors.
  #[tracing::instrument(level = "debug", skip(self))]