diff --git a/compiler/constrain/src/module.rs b/compiler/constrain/src/module.rs
index d726e2dc08..5739828102 100644
--- a/compiler/constrain/src/module.rs
+++ b/compiler/constrain/src/module.rs
@@ -112,65 +112,6 @@ pub fn constrain_imported_values(
     )
 }
 
-pub fn load_builtin_aliases<I>(
-    aliases: I,
-    body_con: Constraint,
-    var_store: &mut VarStore,
-) -> Constraint
-where
-    I: IntoIterator<Item = (Symbol, BuiltinAlias)>,
-{
-    use Constraint::*;
-
-    for (symbol, builtin_alias) in aliases {
-        let mut free_vars = FreeVars::default();
-
-        let actual =
-            roc_types::solved_types::to_type(&builtin_alias.typ, &mut free_vars, var_store);
-
-        let mut vars = Vec::with_capacity(builtin_alias.vars.len());
-
-        for (loc_lowercase, index) in builtin_alias.vars.iter().zip(1..) {
-            let var = if let Some(result) = free_vars.unnamed_vars.get(&VarId::from_u32(index)) {
-                result
-            } else {
-                panic!(
-                    "var_id {:?} was not instantiated in the body of {:?} : {:?} (is it phantom?)",
-                    index, symbol, &builtin_alias
-                )
-            };
-
-            vars.push(Located::at(
-                loc_lowercase.region,
-                (loc_lowercase.value.clone(), *var),
-            ));
-        }
-
-        let mut hidden_variables = MutSet::default();
-        hidden_variables.extend(actual.variables());
-
-        for loc_var in vars.iter() {
-            hidden_variables.remove(&loc_var.value.1);
-        }
-
-        let alias = Alias {
-            vars,
-            hidden_variables,
-            region: builtin_alias.region,
-            uniqueness: None,
-            typ: actual,
-        };
-    }
-
-    Let(Box::new(LetConstraint {
-        rigid_vars: Vec::new(),
-        flex_vars: Vec::new(),
-        def_types: SendMap::default(),
-        defs_constraint: True,
-        ret_constraint: body_con,
-    }))
-}
-
 pub fn constrain_imported_aliases(
     aliases: MutMap<Symbol, Alias>,
     body_con: Constraint,
diff --git a/compiler/load/tests/helpers/mod.rs b/compiler/load/tests/helpers/mod.rs
index a414d009e4..5a4ee10103 100644
--- a/compiler/load/tests/helpers/mod.rs
+++ b/compiler/load/tests/helpers/mod.rs
@@ -10,7 +10,7 @@ use roc_can::operator;
 use roc_can::scope::Scope;
 use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
 use roc_constrain::expr::constrain_expr;
-use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
+use roc_constrain::module::{constrain_imported_values, Import};
 use roc_module::ident::Ident;
 use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
 use roc_parse::ast::{self, Attempting};
@@ -19,7 +19,6 @@ use roc_parse::parser::{loc, Fail, Parser, State};
 use roc_problem::can::Problem;
 use roc_region::all::{Located, Region};
 use roc_solve::solve;
-use roc_types::solved_types::BuiltinAlias;
 use roc_types::subs::{Content, Subs, VarStore, Variable};
 use roc_types::types::Type;
 use std::hash::Hash;
diff --git a/compiler/mono/tests/helpers/mod.rs b/compiler/mono/tests/helpers/mod.rs
index 8d095f452d..beecbcacca 100644
--- a/compiler/mono/tests/helpers/mod.rs
+++ b/compiler/mono/tests/helpers/mod.rs
@@ -10,7 +10,7 @@ use roc_can::operator;
 use roc_can::scope::Scope;
 use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
 use roc_constrain::expr::constrain_expr;
-use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
+use roc_constrain::module::{constrain_imported_values, Import};
 use roc_module::ident::Ident;
 use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
 use roc_parse::ast::{self, Attempting};
diff --git a/compiler/reporting/tests/helpers/mod.rs b/compiler/reporting/tests/helpers/mod.rs
index 4007a00bc3..a116b0643e 100644
--- a/compiler/reporting/tests/helpers/mod.rs
+++ b/compiler/reporting/tests/helpers/mod.rs
@@ -9,7 +9,7 @@ use roc_can::operator;
 use roc_can::scope::Scope;
 use roc_collections::all::{ImMap, MutMap, SendMap, SendSet};
 use roc_constrain::expr::constrain_expr;
-use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
+use roc_constrain::module::{constrain_imported_values, Import};
 use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds};
 use roc_parse::ast::{self, Attempting};
 use roc_parse::blankspace::space0_before;
diff --git a/compiler/solve/tests/helpers/mod.rs b/compiler/solve/tests/helpers/mod.rs
index 1c19db4143..44243dde0a 100644
--- a/compiler/solve/tests/helpers/mod.rs
+++ b/compiler/solve/tests/helpers/mod.rs
@@ -10,7 +10,7 @@ use roc_can::operator;
 use roc_can::scope::Scope;
 use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
 use roc_constrain::expr::constrain_expr;
-use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
+use roc_constrain::module::{constrain_imported_values, Import};
 use roc_module::ident::Ident;
 use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
 use roc_parse::ast::{self, Attempting};
diff --git a/compiler/uniq/tests/helpers/mod.rs b/compiler/uniq/tests/helpers/mod.rs
index b70545e745..4af99f21d6 100644
--- a/compiler/uniq/tests/helpers/mod.rs
+++ b/compiler/uniq/tests/helpers/mod.rs
@@ -10,7 +10,7 @@ use roc_can::operator;
 use roc_can::scope::Scope;
 use roc_collections::all::{ImMap, ImSet, MutMap, SendMap, SendSet};
 use roc_constrain::expr::constrain_expr;
-use roc_constrain::module::{constrain_imported_values, load_builtin_aliases, Import};
+use roc_constrain::module::{constrain_imported_values, Import};
 use roc_module::ident::Ident;
 use roc_module::symbol::{IdentIds, Interns, ModuleId, ModuleIds, Symbol};
 use roc_parse::ast::{self, Attempting};