diff --git a/compiler/builtins/src/std.rs b/compiler/builtins/src/std.rs
index f6e538a94d..abebe99832 100644
--- a/compiler/builtins/src/std.rs
+++ b/compiler/builtins/src/std.rs
@@ -50,13 +50,6 @@ const TVAR3: VarId = VarId::from_u32(3);
 const TVAR4: VarId = VarId::from_u32(4);
 const TOP_LEVEL_CLOSURE_VAR: VarId = VarId::from_u32(5);
 
-fn single_private_tag(symbol: Symbol, type_arguments: Vec<SolvedType>) -> SolvedType {
-    SolvedType::TagUnion(
-        vec![(TagName::Private(symbol), type_arguments)],
-        Box::new(SolvedType::EmptyTagUnion),
-    )
-}
-
 pub fn types() -> MutMap<Symbol, (SolvedType, Region)> {
     let mut types = HashMap::with_capacity_and_hasher(NUM_BUILTIN_IMPORTS, default_hasher());
 
diff --git a/compiler/types/src/solved_types.rs b/compiler/types/src/solved_types.rs
index c659285fd3..c29d64c71f 100644
--- a/compiler/types/src/solved_types.rs
+++ b/compiler/types/src/solved_types.rs
@@ -1,11 +1,10 @@
 use crate::boolean_algebra::{self, Bool};
 use crate::subs::{FlatType, Subs, VarId, VarStore, Variable};
 use crate::types::{Problem, RecordField, Type};
-use roc_collections::all::{default_hasher, ImMap, MutMap, MutSet, SendMap};
+use roc_collections::all::{ImMap, MutSet, SendMap};
 use roc_module::ident::{Lowercase, TagName};
 use roc_module::symbol::Symbol;
 use roc_region::all::{Located, Region};
-use std::collections::HashMap;
 
 /// A marker that a given Subs has been solved.
 /// The only way to obtain a Solved<Subs> is by running the solver on it.