Skip to content

Commit

Permalink
TODO->FIXME
Browse files Browse the repository at this point in the history
  • Loading branch information
Nadrieril committed Nov 4, 2023
1 parent 5883018 commit fc12224
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
8 changes: 4 additions & 4 deletions compiler/rustc_mir_build/src/thir/pattern/usefulness.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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".
//!
Expand Down Expand Up @@ -327,7 +327,7 @@
//!
//! # Or-patterns
//!
//! TODO
//! FIXME(Nadrieril)
//!
//!
//! # Constants in patterns
Expand Down

0 comments on commit fc12224

Please sign in to comment.