diff --git a/src/can/annotation.rs b/src/can/annotation.rs index 941de90a61..4ca2fd9520 100644 --- a/src/can/annotation.rs +++ b/src/can/annotation.rs @@ -170,7 +170,7 @@ fn can_tag<'a>( tag_types.push((symbol, arg_types)); } Tag::Private { name, args } => { - let symbol = Symbol::from_private_tag(&env.home, name.value); + let symbol = Symbol::from_private_tag(env.home.as_str(), name.value); let arg_types = args .iter() diff --git a/src/unify.rs b/src/unify.rs index 64cccd8254..caab6b440f 100644 --- a/src/unify.rs +++ b/src/unify.rs @@ -1,6 +1,6 @@ use crate::can::ident::{Lowercase, ModuleName, Uppercase}; use crate::can::symbol::Symbol; -use crate::collections::{relative_complement, union, MutMap}; +use crate::collections::{relative_complement, union, ImMap, MutMap}; use crate::subs::Content::{self, *}; use crate::subs::{Descriptor, FlatType, Mark, OptVariable, Subs, Variable}; use crate::types::RecordFieldLabel; diff --git a/tests/test_uniqueness_infer.rs b/tests/test_uniqueness_infer.rs index bdd51ec145..ccab7c4797 100644 --- a/tests/test_uniqueness_infer.rs +++ b/tests/test_uniqueness_infer.rs @@ -986,18 +986,6 @@ mod test_infer_uniq { ); } - #[test] - fn record_field_access() { - infer_eq( - indoc!( - r#" - \rec -> rec.left - "# - ), - "Attr.Attr * (Attr.Attr a { left : (Attr.Attr a b) }* -> Attr.Attr a b)", - ); - } - #[test] fn record_field_accessor_function() { infer_eq(