gistfile1.txt

    Checking miden-prover v0.18.0 (/Users/huitseeker/tmp/miden-vm/prover)
error: method should be `async` or return a future, but it is synchronous
  --> prover/src/gpu/metal/mod.rs:95:5
   |
95 | /     fn build_aux_trace<E: FieldElement<BaseField = Self::BaseField>>(
96 | |         &self,
97 | |         trace: &Self::Trace,
98 | |         aux_rand_elements: &AuxRandElements<E>,
99 | |     ) -> ColMatrix<E> {
   | |_____________________^

error: method should be `async` or return a future, but it is synchronous
   --> prover/src/gpu/metal/mod.rs:103:5
    |
103 | /     fn new_trace_lde<E: FieldElement<BaseField = Felt>>(
104 | |         &self,
105 | |         trace_info: &TraceInfo,
106 | |         main_trace: &ColMatrix<Felt>,
107 | |         domain: &StarkDomain<Felt>,
108 | |         _partition_options: PartitionOptions,
109 | |     ) -> (Self::TraceLde<E>, TracePolyTable<E>) {
    | |_______________________________________________^

error: method should be `async` or return a future, but it is synchronous
   --> prover/src/gpu/metal/mod.rs:113:5
    |
113 | /     fn new_evaluator<'a, E: FieldElement<BaseField = Felt>>(
114 | |         &self,
115 | |         air: &'a ProcessorAir,
116 | |         aux_rand_elements: Option<AuxRandElements<E>>,
117 | |         composition_coefficients: ConstraintCompositionCoefficients<E>,
118 | |     ) -> Self::ConstraintEvaluator<'a, E> {
    | |_________________________________________^

error: method should be `async` or return a future, but it is synchronous
   --> prover/src/gpu/metal/mod.rs:123:5
    |
123 | /     fn build_constraint_commitment<E: FieldElement<BaseField = Felt>>(
124 | |         &self,
125 | |         composition_poly_trace: CompositionPolyTrace<E>,
126 | |         num_constraint_composition_columns: usize,
127 | |         domain: &StarkDomain<Self::BaseField>,
128 | |         _partition_options: PartitionOptions,
129 | |     ) -> (Self::ConstraintCommitment<E>, CompositionPoly<E>) {
    | |____________________________________________________________^

error[E0308]: mismatched types
   --> prover/src/gpu/metal/mod.rs:119:9
    |
118 |       ) -> Self::ConstraintEvaluator<'a, E> {
    |            -------------------------------- expected `DefaultConstraintEvaluator<'a, ProcessorAir, E>` because of return type
119 | /         self.execution_prover
120 | |             .new_evaluator(air, aux_rand_elements, composition_coefficients)
    | |____________________________________________________________________________^ expected `DefaultConstraintEvaluator<'_, ..., ...>`, found future

For more information about this error, try `rustc --explain E0308`.
error: could not compile `miden-prover` (lib) due to 5 previous errors