diff --git a/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs b/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs index 05e020c32ca9..e438e7680b27 100644 --- a/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs +++ b/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs @@ -44,7 +44,7 @@ //! //! ## Opaque patterns //! -//! Some patterns, such as TODO, cannot be inspected, which we handle with `Constructor::Opaque`. +//! Some patterns, such as FIXME(Nadrieril), cannot be inspected, which we handle with `Constructor::Opaque`. //! Since we know nothing of these patterns, we assume they never cover each other. In order to //! respect the invariants of [`SplitConstructorSet`], we give each `Opaque` constructor a unique id //! so we can recognize it. diff --git a/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs b/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs index 4a40ca530685..701a1df29ee1 100644 --- a/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs +++ b/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs @@ -144,9 +144,9 @@ //! This is how the algorithm works: we recursively peel off one constructor at a time until we have //! tried them all. This "peeling off" step is called "specialization". //! -//! TODO: we operate on rows -//! TODO: define and illustrate specialize -//! TODO: unspecialization to reconstruct witnesses +//! FIXME(Nadrieril): we operate on rows +//! FIXME(Nadrieril): define and illustrate specialize +//! FIXME(Nadrieril): unspecialization to reconstruct witnesses //! //! Note: we will sometimes abbreviate "constructor" as "ctor". //! @@ -327,7 +327,7 @@ //! //! # Or-patterns //! -//! TODO +//! FIXME(Nadrieril) //! //! //! # Constants in patterns