Restrict `#no_capture` to pointer-like types only

2 files changed, 4 insertions, 6 deletions

diff --git a/src/check_type.cpp b/src/check_type.cpp
index 7b75bf503..d0dddb62b 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -2071,13 +2071,9 @@ gb_internal Type *check_get_params(CheckerContext *ctx, Scope *scope, Ast *_para
 					} else {
 						if (is_type_internally_pointer_like(type)) {
 							// okay
-						} else if (is_type_slice(type) || is_type_string(type)) {
-							// okay
-						} else if (is_type_dynamic_array(type)) {
-							// okay
 						} else {
 							ERROR_BLOCK();
-							error(name, "'#no_capture' can only be applied to pointer-like types, slices, strings, and dynamic arrays");
+							error(name, "'#no_capture' can only be applied to pointer-like types");
 							error_line("\t'#no_capture' does not currently do anything useful\n");
 							p->flags &= ~FieldFlag_no_capture;
 						}
diff --git a/src/llvm_backend_proc.cpp b/src/llvm_backend_proc.cpp
index 825434c31..272ffb474 100644
--- a/src/llvm_backend_proc.cpp
+++ b/src/llvm_backend_proc.cpp
@@ -254,7 +254,9 @@ gb_internal lbProcedure *lb_create_procedure(lbModule *m, Entity *entity, bool i
 				lb_add_proc_attribute_at_index(p, offset+parameter_index, "noalias");
 			}
 			if (e->flags&EntityFlag_NoCapture) {
-				lb_add_proc_attribute_at_index(p, offset+parameter_index, "nocapture");
+				if (is_type_internally_pointer_like(e->type)) {
+					lb_add_proc_attribute_at_index(p, offset+parameter_index, "nocapture");
+				}
 			}
 			parameter_index += 1;
 		}