Change assumption of output on unresolved callee

microsoft · May 10, 2024 · 2e5aba4 · 2e5aba4
1 parent 2b974ec
commit 2e5aba4
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 25 deletions.
diff --git a/compiler/qsc_passes/src/capabilitiesck/tests_adaptive.rs b/compiler/qsc_passes/src/capabilitiesck/tests_adaptive.rs
@@ -432,14 +432,7 @@ fn call_to_unresolved_allowed() {
     check_profile(
         CALL_UNRESOLVED_FUNCTION,
         &expect![[r#"
-            [
-                UseOfDynamicDouble(
-                    Span {
-                        lo: 172,
-                        hi: 180,
-                    },
-                ),
-            ]
+            []
         "#]],
     );
 }

diff --git a/compiler/qsc_passes/src/capabilitiesck/tests_adaptive_plus_integers.rs b/compiler/qsc_passes/src/capabilitiesck/tests_adaptive_plus_integers.rs
@@ -372,14 +372,7 @@ fn call_to_unresolved_allowed() {
     check_profile(
         CALL_UNRESOLVED_FUNCTION,
         &expect![[r#"
-            [
-                UseOfDynamicDouble(
-                    Span {
-                        lo: 172,
-                        hi: 180,
-                    },
-                ),
-            ]
+            []
         "#]],
     );
 }

diff --git a/compiler/qsc_passes/src/capabilitiesck/tests_base.rs b/compiler/qsc_passes/src/capabilitiesck/tests_base.rs
@@ -520,14 +520,7 @@ fn call_to_unresolved_allowed() {
     check_profile(
         CALL_UNRESOLVED_FUNCTION,
         &expect![[r#"
-            [
-                UseOfDynamicDouble(
-                    Span {
-                        lo: 172,
-                        hi: 180,
-                    },
-                ),
-            ]
+            []
         "#]],
     );
 }

diff --git a/compiler/qsc_rca/src/core.rs b/compiler/qsc_rca/src/core.rs
@@ -485,7 +485,7 @@ impl<'a> Analyzer<'a> {
         let Some(callee) = maybe_callee else {
             // The value kind of a call expression with an unresolved callee is dynamic but its specific variant depends
             // on the expression's type.
-            let value_kind = ValueKind::new_dynamic_from_type(expr_type);
+            let value_kind = ValueKind::new_static_from_type(expr_type);
             let compute_kind = ComputeKind::Quantum(QuantumProperties {
                 runtime_features: RuntimeFeatureFlags::CallToUnresolvedCallee,
                 value_kind,