Fixed some formatting issues. Added some more short function documentation.

Author: FractalFir

compiler/rustc_middle/src/ty/instance.rs

@@ -410,6 +410,7 @@ impl<'tcx> Instance<'tcx> {
         let args = tcx.erase_regions(args);
         tcx.resolve_instance(tcx.erase_regions(param_env.and((def_id, args))))
     }
+
     /// Behaves exactly like [`resolve`], but panics on error.
     pub fn expect_resolve(
         tcx: TyCtxt<'tcx>,
@@ -526,6 +527,7 @@ impl<'tcx> Instance<'tcx> {
             })
         }
     }
+
     /// Returns an instance representing closure of type `requested_kind` with `def_id` and subst set to `args`.
     pub fn resolve_closure(
         tcx: TyCtxt<'tcx>,
@@ -540,6 +542,7 @@ impl<'tcx> Instance<'tcx> {
             _ => Instance::new(def_id, args),
         }
     }
+
     /// Returns an instance representing the function [`drop_in_place`] with its generic argument set to `ty`.
     pub fn resolve_drop_in_place(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> ty::Instance<'tcx> {
         let def_id = tcx.require_lang_item(LangItem::DropInPlace, None);
@@ -573,6 +576,7 @@ impl<'tcx> Instance<'tcx> {
         debug!(?self_ty, args=?tupled_inputs_ty.tuple_fields());
         Instance { def, args }
     }
+
     pub fn try_resolve_item_for_coroutine(
         tcx: TyCtxt<'tcx>,
         trait_item_id: DefId,
@@ -620,6 +624,7 @@ impl<'tcx> Instance<'tcx> {
             Some(Instance::new(trait_item_id, rcvr_args))
         }
     }
+
     /// Depending on the kind of `InstanceDef`, the MIR body associated with an
     /// instance is expressed in terms of the generic parameters of `self.def_id()`, and in other
     /// cases the MIR body is expressed in terms of the types found in the substitution array.
@@ -633,6 +638,7 @@ impl<'tcx> Instance<'tcx> {
     fn args_for_mir_body(&self) -> Option<GenericArgsRef<'tcx>> {
         self.def.has_polymorphic_mir_body().then_some(self.args)
     }
+
     /// Instantiates a generic value `v`(like `Vec<T>`), substituting its generic arguments and turning it into a concrete one(like `i32`, or `Vec<f32>`).
     /// If a value is not generic, this will do nothing.
     /// This function does not erase lifetimes, so a value like `&'a i32` will remain unchanged.
@@ -648,6 +654,7 @@ impl<'tcx> Instance<'tcx> {
             v.instantiate_identity()
         }
     }
+
     /// Instantiates a generic value `v`(like `Vec<T>`), substituting its generic arguments and turning it into a concrete one(like `i32`, or `Vec<f32>`).
     /// This function erases lifetimes, so a value like `&'a i32` will become `&ReErased i32`.
     /// If a value is not generic and has no lifetime info, this will do nothing.
@@ -669,6 +676,7 @@ impl<'tcx> Instance<'tcx> {
             tcx.normalize_erasing_regions(param_env, v.skip_binder())
         }
     }
+
     /// A version of [`instantiate_mir_and_normalize_erasing_regions`] which will returns a [`NormalizationError`] on normalization failure instead of panicking.
     #[inline(always)]
     pub fn try_instantiate_mir_and_normalize_erasing_regions<T>(
@@ -847,30 +855,37 @@ impl UnusedGenericParams {
         bitset.set_range(0..amount);
         Self(bitset)
     }
+
     /// Creates a new [`UnusedGenericParams`] where all generic pameters are set as used.
     pub fn new_all_used() -> Self {
         Self(FiniteBitSet::new_empty())
     }
+
     /// Marks a generic paramenter at index `idx` as used.
     pub fn mark_used(&mut self, idx: u32) {
         self.0.clear(idx);
     }
+
     /// Returns true if generic paramenter at index `idx` unused, and false otherwise.
     pub fn is_unused(&self, idx: u32) -> bool {
         self.0.contains(idx).unwrap_or(false)
     }
+
     /// Returns true if generic paramenter at index `idx` used, and false otherwise.
     pub fn is_used(&self, idx: u32) -> bool {
         !self.is_unused(idx)
     }
+
     /// Returns true if all generic parameters are used, and false otherwise.
     pub fn all_used(&self) -> bool {
         self.0.is_empty()
     }
+
     /// Turns a [`UnusedGenericParams`] into its underlying bit representation.
     pub fn bits(&self) -> u32 {
         self.0.0
     }
+
     /// Creates a [`UnusedGenericParams`] from its bit representation.
     pub fn from_bits(bits: u32) -> UnusedGenericParams {
         UnusedGenericParams(FiniteBitSet(bits))