fixup

src/errors.jl

@@ -94,6 +94,17 @@ function julia_error(
     B::LLVM.API.LLVMBuilderRef,
 )::LLVM.API.LLVMValueRef
     msg = Base.unsafe_string(cstr)
+    julia_error(msg, val, errtype, data, data2, B)
+end
+
+function julia_error(
+    msg::String,
+    val::LLVM.API.LLVMValueRef,
+    errtype::API.ErrorType,
+    data::Ptr{Cvoid},
+    data2::LLVM.API.LLVMValueRef,
+    B::LLVM.API.LLVMBuilderRef,
+)::LLVM.API.LLVMValueRef
     bt = nothing
     ir = nothing
     if val != C_NULL

src/rules/typeunstablerules.jl

@@ -1535,8 +1535,13 @@ end
     end
     origops = collect(operands(orig))
     width = get_width(gutils)
-    if !is_constant_value(gutils, origops[1])
-        shadowin = invert_pointer(gutils, origops[1], B)
+    if !is_constant_value(gutils, origops[1]) || !get_runtime_activity(gutils)
+        shadowin = if !is_constant_value(gutils, origops[1])
+            invert_pointer(gutils, origops[1], B)
+        else
+            estr = "Mismatched activity for: " * string(orig) * " const input " *string(origops[1]) * ", differentiable return"
+            LLVM.Value(julia_error(estr, orig.ref, API.ET_MixedActivityError, gutils.ref, origops[1].ref, B.ref))
+        end
         if width == 1
             args = LLVM.Value[
                 shadowin