diff --git a/compiler/builtins/src/unique.rs b/compiler/builtins/src/unique.rs index c6b269c7ec..c66c7e157d 100644 --- a/compiler/builtins/src/unique.rs +++ b/compiler/builtins/src/unique.rs @@ -675,12 +675,12 @@ pub fn types() -> MutMap { }); // contains : Attr * (List a) - // , Attr Shared a + // , Attr * a // -> Attr * Bool add_type(Symbol::LIST_CONTAINS, { let_tvars! { a, star1, star2 }; - unique_function(vec![list_type(star1, a), shared(flex(a))], bool_type(star2)) + unique_function(vec![list_type(star1, a), flex(a)], bool_type(star2)) }); // join : Attr * (List (Attr * (List a)))