Fixes for mypy.

pytket/extensions/braket/backends/braket.py

@@ -307,13 +307,13 @@ def __init__(
         # load config
         config = BraketConfig.from_default_config_file()
         if s3_bucket is None:
-            s3_bucket = config.s3_bucket
+            s3_bucket = config.s3_bucket  # type: ignore
         if s3_folder is None:
-            s3_folder = config.s3_folder
+            s3_folder = config.s3_folder  # type: ignore
         if device_type is None:
-            device_type = config.device_type
+            device_type = config.device_type  # type: ignore
         if provider is None:
-            provider = config.provider
+            provider = config.provider  # type: ignore
 
         # set defaults if not overridden
         if device_type is None:
@@ -627,11 +627,12 @@ def default_compilation_pass(self, optimisation_level: int = 1) -> BasePass:
             and (not self._requires_all_qubits_measured)
         ):
             arch = self.backend_info.architecture
+            assert isinstance(arch, Architecture)
             passes.append(
                 CXMappingPass(
                     arch,
                     NoiseAwarePlacement(
-                        arch, **get_avg_characterisation(self.characterisation)
+                        arch, **get_avg_characterisation(self.characterisation)  # type: ignore
                     ),
                     directed_cx=False,
                     delay_measures=True,
@@ -994,7 +995,7 @@ def _get_variance(
         res = task.result()
         return res.get_value_by_result_type(restype)  # type: ignore
 
-    def get_pauli_expectation_value(
+    def get_pauli_expectation_value(  # type: ignore
         self,
         state_circuit: Circuit,
         pauli: QubitPauliString,
@@ -1023,7 +1024,7 @@ def get_pauli_expectation_value(
         observable, qbs = _obs_from_qps(state_circuit, pauli)
         return self._get_expectation_value(bkcirc, observable, qbs, n_shots, **kwargs)
 
-    def get_operator_expectation_value(
+    def get_operator_expectation_value(  # type: ignore
         self,
         state_circuit: Circuit,
         operator: QubitPauliOperator,

pytket/extensions/braket/backends/config.py

@@ -50,11 +50,11 @@ def set_braket_config(
     for AWS Braket. Can be overridden in backend construction."""
     config = BraketConfig.from_default_config_file()
     if s3_bucket is not None:
-        config.s3_bucket = s3_bucket
+        config.s3_bucket = s3_bucket  # type: ignore
     if s3_folder is not None:
-        config.s3_folder = s3_folder
+        config.s3_folder = s3_folder  # type: ignore
     if device_type is not None:
-        config.device_type = device_type
+        config.device_type = device_type  # type: ignore
     if provider is not None:
-        config.provider = provider
+        config.provider = provider  # type: ignore
     config.update_default_config_file()

tests/backend_test.py

@@ -20,6 +20,7 @@
 import numpy as np
 import pytest
 from pytket.extensions.braket import BraketBackend
+from pytket.architecture import Architecture
 from pytket.circuit import Circuit, OpType, Qubit, Bit  # type: ignore
 from pytket.pauli import Pauli, QubitPauliString  # type: ignore
 from pytket.utils.expectations import (
@@ -159,6 +160,7 @@ def test_ionq(authenticated_braket_backend: BraketBackend) -> None:
 
     # Device is fully connected
     arch = b.backend_info.architecture
+    assert isinstance(arch, Architecture)
     n = len(arch.nodes)
     assert len(arch.coupling) == n * (n - 1)