review

Author: klensy

compiler/rustc_mir_transform/src/gvn.rs

@@ -27,7 +27,7 @@
 //! _b = some other value // also has VnIndex i
 //! ```
 //!
-//! We consider it to be replacable by:
+//! We consider it to be replaceable by:
 //! ```ignore (MIR)
 //! _a = some value // has VnIndex i
 //! // some MIR

compiler/rustc_mir_transform/src/ref_prop.rs

@@ -134,7 +134,7 @@ fn compute_replacement<'tcx>(
     // reborrowed references.
     let mut storage_to_remove = BitSet::new_empty(body.local_decls.len());
 
-    let fully_replacable_locals = fully_replacable_locals(ssa);
+    let fully_replaceable_locals = fully_replaceable_locals(ssa);
 
     // Returns true iff we can use `place` as a pointee.
     //
@@ -200,7 +200,7 @@ fn compute_replacement<'tcx>(
         let needs_unique = ty.is_mutable_ptr();
 
         // If this a mutable reference that we cannot fully replace, mark it as unknown.
-        if needs_unique && !fully_replacable_locals.contains(local) {
+        if needs_unique && !fully_replaceable_locals.contains(local) {
             debug!("not fully replaceable");
             continue;
         }
@@ -299,7 +299,7 @@ fn compute_replacement<'tcx>(
 
                     // This a reborrow chain, recursively allow the replacement.
                     //
-                    // This also allows to detect cases where `target.local` is not replacable,
+                    // This also allows to detect cases where `target.local` is not replaceable,
                     // and mark it as such.
                     if let &[PlaceElem::Deref] = &target.projection[..] {
                         assert!(perform_opt);
@@ -309,7 +309,7 @@ fn compute_replacement<'tcx>(
                     } else if perform_opt {
                         self.allowed_replacements.insert((target.local, loc));
                     } else if needs_unique {
-                        // This mutable reference is not fully replacable, so drop it.
+                        // This mutable reference is not fully replaceable, so drop it.
                         self.targets[place.local] = Value::Unknown;
                     }
                 }
@@ -322,22 +322,22 @@ fn compute_replacement<'tcx>(
 
 /// Compute the set of locals that can be fully replaced.
 ///
-/// We consider a local to be replacable iff it's only used in a `Deref` projection `*_local` or
+/// We consider a local to be replaceable iff it's only used in a `Deref` projection `*_local` or
 /// non-use position (like storage statements and debuginfo).
-fn fully_replacable_locals(ssa: &SsaLocals) -> BitSet<Local> {
-    let mut replacable = BitSet::new_empty(ssa.num_locals());
+fn fully_replaceable_locals(ssa: &SsaLocals) -> BitSet<Local> {
+    let mut replaceable = BitSet::new_empty(ssa.num_locals());
 
     // First pass: for each local, whether its uses can be fully replaced.
     for local in ssa.locals() {
         if ssa.num_direct_uses(local) == 0 {
-            replacable.insert(local);
+            replaceable.insert(local);
         }
     }
 
     // Second pass: a local can only be fully replaced if all its copies can.
-    ssa.meet_copy_equivalence(&mut replacable);
+    ssa.meet_copy_equivalence(&mut replaceable);
 
-    replacable
+    replaceable
 }
 
 /// Utility to help performing substitution of `*pattern` by `target`.

compiler/rustc_pattern_analysis/src/usefulness.rs

@@ -102,7 +102,7 @@
 //! [`Constructor::is_covered_by`].
 //!
 //! Note 1: variable bindings (like the `x` in `Some(x)`) match anything, so we treat them as wildcards.
-//! Note 2: this only applies to matchable values. For example a value of type `Rc<u64>` can't be
+//! Note 2: this only applies to matcheable values. For example a value of type `Rc<u64>` can't be
 //! deconstructed that way.
 //!
 //!

typos.toml

@@ -1,12 +1,16 @@
 [files]
 extend-exclude = [
-    # ./compiler excludes
+    # exclude git (sub)modules and generated content
     "compiler/rustc_codegen_gcc",
     "compiler/rustc_codegen_cranelift",
     "compiler/rustc_baked_icu_data",
 ]
 
 [default.extend-words]
+# add exclusions here, lines should be like `x = 'x'`,
+# where `x` is excuded word.
+#
+# Also see docs: https://github.com/crate-ci/typos/blob/v1.28.2/docs/reference.md
 thir = "thir"
 padd = "padd"
 rplace = "rplace"
@@ -24,7 +28,6 @@ parm = "parm"
 EXCED = "EXCED"
 Shortern = "Shortern"
 unparseable = "unparseable"
-replacable = "replacable"
 matcheable = "matcheable"
 
 [default]