From de33e9b38816bce92286983c7442a7227f74b71b Mon Sep 17 00:00:00 2001 From: lrosa007 Date: Sun, 8 Nov 2020 20:17:05 -0500 Subject: [PATCH] fix(List): contains list can be borrowed --- compiler/mono/src/borrow.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/mono/src/borrow.rs b/compiler/mono/src/borrow.rs index 6ac550a3d5..903fcda6ba 100644 --- a/compiler/mono/src/borrow.rs +++ b/compiler/mono/src/borrow.rs @@ -534,7 +534,7 @@ pub fn lowlevel_borrow_signature(arena: &Bump, op: LowLevel) -> &[bool] { ListJoin => arena.alloc_slice_copy(&[irrelevant]), ListMap => arena.alloc_slice_copy(&[owned, irrelevant]), ListKeepIf => arena.alloc_slice_copy(&[owned, irrelevant]), - ListContains => arena.alloc_slice_copy(&[owned, irrelevant]), + ListContains => arena.alloc_slice_copy(&[borrowed, irrelevant]), ListWalkRight => arena.alloc_slice_copy(&[borrowed, irrelevant, owned]), Eq | NotEq | And | Or | NumAdd | NumAddWrap | NumAddChecked | NumSub | NumMul | NumGt