Remove irrelevant todos

crates/compiler/types/src/subs.rs

@@ -5265,10 +5265,7 @@ fn is_registered(content: &Content) -> bool {
         | Content::RigidAbleVar(..) => false,
         Content::Structure(FlatType::EmptyRecord | FlatType::EmptyTagUnion) => false,
         Content::ErasedLambda => false,
-        Content::Pure | Content::Effectful => {
-            // [purity-inference] TODO
-            false
-        }
+        Content::Pure | Content::Effectful => false,
 
         Content::Structure(_)
         | Content::RecursionVar { .. }

crates/glue/src/types.rs

@@ -1237,7 +1237,6 @@ impl<'a> Env<'a> {
 
         match self.subs.get_content_without_compacting(var) {
             Content::Structure(FlatType::Func(args, closure_var, ret_var, _fx_var)) => {
-                // [purity-inference] TODO: fx var
                 // this is a toplevel type, so the closure must be empty
                 let is_toplevel = true;
                 add_function_type(

crates/language_server/src/analysis/completion.rs

@@ -239,7 +239,6 @@ fn make_completion_item(
     let typ = match subs.get(var).content {
         roc_types::subs::Content::Structure(var) => match var {
             roc_types::subs::FlatType::Apply(_, _) => CompletionItemKind::FUNCTION,
-            // [purity-inference] TODO: Categorize by purity?
             roc_types::subs::FlatType::Func(_, _, _, _) => CompletionItemKind::FUNCTION,
             roc_types::subs::FlatType::EmptyTagUnion
             | roc_types::subs::FlatType::TagUnion(_, _) => CompletionItemKind::ENUM,

crates/reporting/src/error/canonicalize.rs

@@ -1349,7 +1349,6 @@ pub fn can_problem<'b>(
         }
 
         Problem::StmtAfterExpr(region) => {
-            // TODO: Update when [purity-inference] is fully implemented
             doc = alloc.stack([
                 alloc
                     .reflow(r"I just finished parsing an expression with a series of definitions,"),