(12) * Error 12 at Bug1536.fst(18,18-18,42): - Expected type Prims.pure_wp (FStar.Pervasives.either a Prims.exn) but f__w _ has type _: (_: FStar.Pervasives.either a Prims.exn -> Type0) -> Type0

(12) * Error 12 at Bug709.fst(18,34-29,27): - Expected type Prims.pure_wp (a & s) but f__w _ has type _: (_: a & s -> Type0) -> Type0 - See also Bug709.fst(18,34-27,10)

(189) * Error 189 at Bug1449.fst(20,0-23,29): - Expected expression of type a: Prims.string -> Type got expression fun _ -> Prims.string of type a: Prims.string -> Prims.GTot Prims.eqtype

(66) * Error 66 at Vec.fst(150,83-150,107): - Failed to resolve implicit argument ?15 of type Type0 introduced for flex-flex quasi: lhs=Instantiating implicit argument rhs=Instantiating implicit argument

(12) * Error 12 at Bug713.fst(18,8-24,20): - Expected type Prims.pure_wp Prims.int but _ _ has type _: (_: Prims.int -> Type0) -> Type0 - See also Bug713.fst(18,8-23,11)

(189) * Error 189 at Part1.Lemmas.fst(188,0-191,55): - Expected expression of type f: (_: (*?u72*) _ -> Prims.bool) -> Type got expression fun _ -> (*?u72*) _ of type f: (_: (*?u72*) _ -> Prims.bool) -> Prims.GTot Type

(54) * Error 54 at Bug2169b.fst(10,24-10,25): - _: a -> Type0 is not a subtype of the expected type _: a{Prims.l_True} -> Prims.GTot Type0 - See also Bug2169b.fst(9,46-9,47)

(12) * Error 12 at Bug1066.fst(9,56-9,69): - Expected type Type but b _ has type Type

(34) * Error 34 at Bug1066.fst(9,56-9,69): - Computed type Type and effect Prims.PURE is not compatible with the annotated type Type and effect GTot

(12) * Error 12 at Bug2756.fst(30,19-30,64): - Expected type Type but encoded_snd _ has type Type0

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

(272) * Warning 272 at Hello.fst(5,0-5,34): - Top-level let-bindings must be total; this term may have effects

(350) * Warning 350 at Part2.Free.fst(132,4-134,12): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.Free.fst(133,4-134,12): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.FreeFunExt.fst(136,4-138,12): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.FreeFunExt.fst(137,4-138,12): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.Par.fst(40,18-40,40): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.Par.fst(48,18-48,40): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.Par.fst(105,4-106,17): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.

(350) * Warning 350 at Part2.ST.fst(26,2-28,10): - The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.