remove panic

compiler/can/src/def.rs

@@ -1532,6 +1532,7 @@ fn make_tag_union_recursive<'a>(
             let problem = roc_types::types::Problem::CyclicAlias(symbol, region, others.clone());
             *typ = Type::Erroneous(problem);
 
+            // ensure cyclic error is only reported for one element of the cycle
             if *can_report_error {
                 *can_report_error = false;
 

compiler/constrain/src/module.rs

@@ -277,9 +277,7 @@ fn to_type(solved_type: &SolvedType, free_vars: &mut FreeVars, var_store: &VarSt
 
             Type::Alias(*symbol, type_variables, Box::new(actual))
         }
-        Error => {
+        Error => Type::Erroneous(roc_types::types::Problem::SolvedTypeError),
-            panic!("TODO convert from SolvedType::Error to Type somehow");
-        }
         Erroneous(problem) => Type::Erroneous(problem.clone()),
     }
 }

compiler/mono/src/expr.rs

@@ -831,8 +831,9 @@ fn from_can<'a>(
                 elems: elems.into_bump_slice(),
             }
         }
+        Accessor { .. } => todo!("record accessor"),
+        Update { .. } => todo!("record update"),
         RuntimeError(error) => Expr::RuntimeError(env.arena.alloc(format!("{:?}", error))),
-        other => panic!("TODO convert canonicalized {:?} to mono::Expr", other),
     }
 }
 

compiler/types/src/types.rs

@@ -713,7 +713,7 @@ pub enum Problem {
         alias_needs: u8,
     },
     InvalidModule,
-    //    Mismatch(Mismatch, ErrorType, ErrorType),
+    SolvedTypeError,
 }
 
 #[derive(PartialEq, Eq, Debug, Clone)]