Logs - tomasmikula/libretto - Community Build Dashboard

1##################################

2Clonning https://github.com/tomasmikula/libretto.git into /build/repo using revision main

3##################################

4----

5Preparing build for 3.8.0-RC2

6Scala binary version found: 3.8

7Implicitly using source version 3.8

8Scala binary version found: 3.8

9Implicitly using source version 3.8

10Would try to apply common scalacOption (best-effort, sbt/mill only):

11Append: ,REQUIRE:-source:3.8

12Remove: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

13----

14Starting build for 3.8.0-RC2

15Execute tests: true

16sbt project found:

17No prepare script found for project tomasmikula/libretto

18##################################

19Scala version: 3.8.0-RC2

20Targets: dev.continuously.libretto%libretto-core dev.continuously.libretto%libretto-examples dev.continuously.libretto%libretto-lambda dev.continuously.libretto%libretto-stream dev.continuously.libretto%libretto-testing dev.continuously.libretto%libretto-zio

21Project projectConfig: {"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}

22##################################

23Using extra scalacOptions: ,REQUIRE:-source:3.8

24Filtering out scalacOptions: ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

25[sbt_options] declare -a sbt_options=()

26[process_args] java_version = '17'

27[copyRt] java9_rt = '/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8/rt.jar'

28# Executing command line:

29java

30-Dfile.encoding=UTF-8

31-Dcommunitybuild.scala=3.8.0-RC2

32-Dcommunitybuild.project.dependencies.add=

33-Xmx7G

34-Xms4G

35-Xss8M

36-Dsbt.script=/root/.sdkman/candidates/sbt/current/bin/sbt

37-Dscala.ext.dirs=/root/.sbt/1.0/java9-rt-ext-eclipse_adoptium_17_0_8

38-jar

39/root/.sdkman/candidates/sbt/1.11.5/bin/sbt-launch.jar

40"setCrossScalaVersions 3.8.0-RC2"

41"++3.8.0-RC2 -v"

42"mapScalacOptions ",REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s" ",-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e""

43"set every credentials := Nil"

44"excludeLibraryDependency com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}"

45"removeScalacOptionsStartingWith -P:wartremover"

46

47moduleMappings

48"runBuild 3.8.0-RC2 """{"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}""" dev.continuously.libretto%libretto-core dev.continuously.libretto%libretto-examples dev.continuously.libretto%libretto-lambda dev.continuously.libretto%libretto-stream dev.continuously.libretto%libretto-testing dev.continuously.libretto%libretto-zio"

49

50[info] [launcher] getting org.scala-sbt sbt 1.11.7 (this may take some time)...

51[info] welcome to sbt 1.11.7 (Eclipse Adoptium Java 17.0.8)

52[info] loading settings for project repo-build from akka.sbt, build.sbt, plugins.sbt...

53[info] loading project definition from /build/repo/project

54[info] compiling 3 Scala sources to /build/repo/project/target/scala-2.12/sbt-1.0/classes ...

55[info] Non-compiled module 'compiler-bridge_2.12' for Scala 2.12.20. Compiling...

56[info] Compilation completed in 8.914s.

57[info] done compiling

58[info] loading settings for project root from build.sbt, version.sbt...

59[info] resolving key references (15040 settings) ...

60[info] set current project to root (in build file:/build/repo/)

61[warn] there are 2 keys that are not used by any other settings/tasks:

62[warn]

63[warn] * ThisBuild / pomIncludeRepository

64[warn] +- /build/repo/build.sbt:28

65[warn] * ThisBuild / publishMavenStyle

66[warn] +- /build/repo/build.sbt:29

67[warn]

68[warn] note: a setting might still be used by a command; to exclude a key from this `lintUnused` check

69[warn] either append it to `Global / excludeLintKeys` or call .withRank(KeyRanks.Invisible) on the key

70Execute setCrossScalaVersions: 3.8.0-RC2

71OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in mashup/crossScalaVersions

72OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in typology/crossScalaVersions

73OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in core/crossScalaVersions

74OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in testing/crossScalaVersions

75OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in lambdaExamples/crossScalaVersions

76OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in kindvilleJS/crossScalaVersions

77OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in mashupExamples/crossScalaVersions

78OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in docs/crossScalaVersions

79OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in librettoZio/crossScalaVersions

80OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in root/crossScalaVersions

81OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in stream/crossScalaVersions

82OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in examples/crossScalaVersions

83OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in testingScalatest/crossScalaVersions

84OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in kindvilleJVM/crossScalaVersions

85OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in lambdaJVM/crossScalaVersions

86OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in lambdaJS/crossScalaVersions

87OpenCB::Changing crossVersion 3.7.4 -> 3.8.0-RC2 in coreTests/crossScalaVersions

88[info] set current project to root (in build file:/build/repo/)

89[info] Setting Scala version to 3.8.0-RC2 on 17 projects.

90[info] Switching Scala version on:

91[info] examples (3.8.0-RC2)

92[info] mashup (3.8.0-RC2)

93[info] * root (3.8.0-RC2)

94[info] docs (3.8.0-RC2)

95[info] testing (3.8.0-RC2)

96[info] typology (3.8.0-RC2)

97[info] kindvilleJS (3.8.0-RC2)

98[info] lambdaJS (3.8.0-RC2)

99[info] lambdaExamples (3.8.0-RC2)

100[info] stream (3.8.0-RC2)

101[info] mashupExamples (3.8.0-RC2)

102[info] lambdaJVM (3.8.0-RC2)

103[info] core (3.8.0-RC2)

104[info] kindvilleJVM (3.8.0-RC2)

105[info] coreTests (3.8.0-RC2)

106[info] testingScalatest (3.8.0-RC2)

107[info] librettoZio (3.8.0-RC2)

108[info] Excluding projects:

109[info] Reapplying settings...

110[info] set current project to root (in build file:/build/repo/)

111Execute mapScalacOptions: ,REQUIRE:-source:3.8,-Wconf:msg=can be rewritten automatically under:s ,-deprecation,-feature,-Xfatal-warnings,-Werror,MATCH:.*-Wconf.*any:e

112[info] Reapplying settings...

113[info] set current project to root (in build file:/build/repo/)

114[info] Defining Global / credentials, core / credentials and 15 others.

115[info] The new values will be used by Global / pgpSelectPassphrase, Global / pgpSigningKey and 84 others.

116[info] Run `last` for details.

117[info] Reapplying settings...

118[info] set current project to root (in build file:/build/repo/)

119Execute excludeLibraryDependency: com.github.ghik:zerowaste_{scalaVersion} com.olegpy:better-monadic-for_3 org.polyvariant:better-tostring_{scalaVersion} org.wartremover:wartremover_{scalaVersion}

120[info] Reapplying settings...

121OpenCB::Failed to reapply settings in excludeLibraryDependency: Reference to undefined setting:

122

123 Global / allExcludeDependencies from Global / allExcludeDependencies (CommunityBuildPlugin.scala:331)

124 Did you mean typology / allExcludeDependencies ?

125 , retry without global scopes

126[info] Reapplying settings...

127[info] set current project to root (in build file:/build/repo/)

128Execute removeScalacOptionsStartingWith: -P:wartremover

129[info] Reapplying settings...

130[info] set current project to root (in build file:/build/repo/)

131[success] Total time: 0 s, completed Nov 28, 2025, 11:59:22 AM

132Build config: {"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"full","migrationVersions":[],"sourcePatches":[]}

133Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(dev.continuously%libretto),Map()),Full,List()))

134Starting build...

135Projects: Set(examples, testing, stream, lambdaJVM, core, testingScalatest, librettoZio)

136Starting build for ProjectRef(file:/build/repo/,testing) (libretto-testing)... [0/7]

137OpenCB::Exclude Scala3 specific scalacOption `REQUIRE:-source:3.8` in Scala 2.12.20 module Global

138OpenCB::Filter out '-deprecation', matches setting pattern '^-?-deprecation'

139Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

140[info] compiling 71 Scala sources to /build/repo/lambda/jvm/target/scala-3.8.0-RC2/classes ...

141[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Bin.scala:359:13

142[warn] 359 | (summon[(a <*> b) =:= X] andThen ev) match

143[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

144[warn] |match may not be exhaustive.

145[warn] |

146[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

147[warn] |

148[warn] | longer explanation available when compiling with `-explain`

149[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Bin.scala:376:13

150[warn] 376 | (summon[T[x] =:= X] andThen ev) match

151[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

152[warn] |match may not be exhaustive.

153[warn] |

154[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

155[warn] |

156[warn] | longer explanation available when compiling with `-explain`

157[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:39:15

158[warn] 39 | case f: Focus.Fst[pr, f1, b] =>

159[warn] | ^^^^^^^^^^^^^^^^^^^^^^^

160[warn] | Unreachable case

161[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:43:15

162[warn] 43 | case f: Focus.Snd[pr, f2, a] =>

163[warn] | ^^^^^^^^^^^^^^^^^^^^^^^

164[warn] | Unreachable case

165[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:450:8

166[warn] 450 | d match

167[warn] | ^

168[warn] |match may not be exhaustive.

169[warn] |

170[warn] |It would fail on pattern case: libretto.lambda.DistributionNAry.DistLR.Single(_), libretto.lambda.DistributionNAry.DistLR.Snoc(_, _)

171[warn] |

172[warn] | longer explanation available when compiling with `-explain`

173[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/DistributionNAry.scala:476:8

174[warn] 476 | d match

175[warn] | ^

176[warn] |match may not be exhaustive.

177[warn] |

178[warn] |It would fail on pattern case: libretto.lambda.DistributionNAry.DistRL.Single(_), libretto.lambda.DistributionNAry.DistRL.Snoc(_, _)

179[warn] |

180[warn] | longer explanation available when compiling with `-explain`

181[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Focus.scala:36:10

182[warn] 36 | ev match { case BiInjective[|*|](i.injective(ev1), _) => Tuple1(ev1) }

183[warn] | ^^

184[warn] |match may not be exhaustive.

185[warn] |

186[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

187[warn] |

188[warn] | longer explanation available when compiling with `-explain`

189[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Focus.scala:45:10

190[warn] 45 | ev match { case BiInjective[|*|](_, i.injective(ev1)) => Tuple1(ev1) }

191[warn] | ^^

192[warn] |match may not be exhaustive.

193[warn] |

194[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

195[warn] |

196[warn] | longer explanation available when compiling with `-explain`

197[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:173:8

198[warn] 173 | ev match { case BiInjective[||](_, BiInjective[::](_, ev1)) => Some(ev1) }

199[warn] | ^^

200[warn] |match may not be exhaustive.

201[warn] |

202[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

203[warn] |

204[warn] | longer explanation available when compiling with `-explain`

205[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:195:8

206[warn] 195 | ev match

207[warn] | ^^

208[warn] |match may not be exhaustive.

209[warn] |

210[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

211[warn] |

212[warn] | longer explanation available when compiling with `-explain`

213[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:210:8

214[warn] 210 | ev match { case BiInjective[::](_, ev1) => Some(ev1) }

215[warn] | ^^

216[warn] |match may not be exhaustive.

217[warn] |

218[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

219[warn] |

220[warn] | longer explanation available when compiling with `-explain`

221[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:273:8

222[warn] 273 | ev match

223[warn] | ^^

224[warn] |match may not be exhaustive.

225[warn] |

226[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

227[warn] |

228[warn] | longer explanation available when compiling with `-explain`

229[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Items1Named.scala:433:8

230[warn] 433 | ev match { case BiInjective[::](_, TypeEq(Refl())) => value }

231[warn] | ^^

232[warn] |match may not be exhaustive.

233[warn] |

234[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

235[warn] |

236[warn] | longer explanation available when compiling with `-explain`

237[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:41:13

238[warn] 41 | case p: DiscardFst[pair, q1, q2, r] => discardFst[q1, q2] > p.p2

239[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

240[warn] | Unreachable case

241[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:42:13

242[warn] 42 | case p: DiscardSnd[pair, q1, q2, r] => discardSnd[q1, q2] > p.p1

243[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

244[warn] | Unreachable case

245[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:43:13

246[warn] 43 | case p: Fst[pair, q1, r1, q2] => projectFst[q1, q2, r1](p.p1)

247[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^

248[warn] | Unreachable case

249[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:44:13

250[warn] 44 | case p: Snd[pair, q1, q2, r2] => projectSnd[q1, q2, r2](p.p2)

251[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^

252[warn] | Unreachable case

253[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:45:13

254[warn] 45 | case p: Both[pair, q1, q2, r1, r2] => projectFst[q1, q2, r1](p.p1) > p.p2.inSnd

255[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

256[warn] | Unreachable case

257[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:89:10

258[warn] 89 | summon[(p1 |*| p2) =:= (P1 |*| P2)] match

259[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

260[warn] | match may not be exhaustive.

261[warn] |

262[warn] | It would fail on pattern case: _: =:= (anonymous)

263[warn] |

264[warn] | longer explanation available when compiling with `-explain`

265[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:93:10

266[warn] 93 | summon[(p1 |*| p2) =:= (P1 |*| P2)] match

267[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

268[warn] | match may not be exhaustive.

269[warn] |

270[warn] | It would fail on pattern case: _: =:= (anonymous)

271[warn] |

272[warn] | longer explanation available when compiling with `-explain`

273[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:97:10

274[warn] 97 | summon[(p1 |*| p2) =:= (P1 |*| P2)] match

275[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

276[warn] | match may not be exhaustive.

277[warn] |

278[warn] | It would fail on pattern case: _: =:= (anonymous)

279[warn] |

280[warn] | longer explanation available when compiling with `-explain`

281[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:89:41

282[warn] 89 | val ev3: B =:= Unit = ev1.at[Unit] match { case BiInjective[|*|](_, ev) => ev }

283[warn] | ^^^^^^^^^^^^

284[warn] |match may not be exhaustive.

285[warn] |

286[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

287[warn] |

288[warn] | longer explanation available when compiling with `-explain`

289[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:90:41

290[warn] 90 | val ev4: B =:= Nothing = ev1.at[Nothing] match { case BiInjective[|*|](_, ev) => ev }

291[warn] | ^^^^^^^^^^^^^^^

292[warn] |match may not be exhaustive.

293[warn] |

294[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

295[warn] |

296[warn] | longer explanation available when compiling with `-explain`

297[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:96:39

298[warn] 96 | val ev3: B =:= Y = ev1.at[Any] match { case BiInjective[|*|](_, ev) => ev }

299[warn] | ^^^^^^^^^^^

300[warn] |match may not be exhaustive.

301[warn] |

302[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

303[warn] |

304[warn] | longer explanation available when compiling with `-explain`

305[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:106:56

306[warn] 106 | TypeEqK.ext[F, F1]([x] => (_: Unit) => ev.at[x] match { case BiInjective[|*|](ev, _) => ev })

307[warn] | ^^^^^^^^

308[warn] |match may not be exhaustive.

309[warn] |

310[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

311[warn] |

312[warn] | longer explanation available when compiling with `-explain`

313[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:108:17

314[warn] 108 | ev.at[Any] match { case BiInjective[|*|](_, ev) => ev }

315[warn] | ^^^^^^^^^^

316[warn] |match may not be exhaustive.

317[warn] |

318[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

319[warn] |

320[warn] | longer explanation available when compiling with `-explain`

321[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:120:43

322[warn] 120 | val bu: B =:= F2[Unit] = ev.at[Unit] match { case BiInjective[|*|](_, ev) => ev }

323[warn] | ^^^^^^^^^^^

324[warn] |match may not be exhaustive.

325[warn] |

326[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

327[warn] |

328[warn] | longer explanation available when compiling with `-explain`

329[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:121:43

330[warn] 121 | val bn: B =:= F2[Nothing] = ev.at[Nothing] match { case BiInjective[|*|](_, ev) => ev }

331[warn] | ^^^^^^^^^^^^^^

332[warn] |match may not be exhaustive.

333[warn] |

334[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

335[warn] |

336[warn] | longer explanation available when compiling with `-explain`

337[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:142:38

338[warn] 142 | val ax: A =:= X = ev1.at[Any] match { case BiInjective[|*|](ev, _) => ev }

339[warn] | ^^^^^^^^^^^

340[warn] |match may not be exhaustive.

341[warn] |

342[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

343[warn] |

344[warn] | longer explanation available when compiling with `-explain`

345[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:150:41

346[warn] 150 | val ev3: A =:= Nothing = ev1.at[Nothing] match { case BiInjective[|*|](ev, _) => ev }

347[warn] | ^^^^^^^^^^^^^^^

348[warn] |match may not be exhaustive.

349[warn] |

350[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

351[warn] |

352[warn] | longer explanation available when compiling with `-explain`

353[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:151:41

354[warn] 151 | val ev4: A =:= Unit = ev1.at[Unit] match { case BiInjective[|*|](ev, _) => ev }

355[warn] | ^^^^^^^^^^^^

356[warn] |match may not be exhaustive.

357[warn] |

358[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

359[warn] |

360[warn] | longer explanation available when compiling with `-explain`

361[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:161:44

362[warn] 161 | val an: A =:= F1[Nothing] = ev1.at[Nothing] match { case BiInjective[|*|](ev, _) => ev }

363[warn] | ^^^^^^^^^^^^^^^

364[warn] |match may not be exhaustive.

365[warn] |

366[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

367[warn] |

368[warn] | longer explanation available when compiling with `-explain`

369[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:162:44

370[warn] 162 | val au: A =:= F1[Unit] = ev1.at[Unit] match { case BiInjective[|*|](ev, _) => ev }

371[warn] | ^^^^^^^^^^^^

372[warn] |match may not be exhaustive.

373[warn] |

374[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

375[warn] |

376[warn] | longer explanation available when compiling with `-explain`

377[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:171:35

378[warn] 171 | val ev3: A =:= X = ev1.at[Any] match { case BiInjective[|*|](ev, _) => ev }

379[warn] | ^^^^^^^^^^^

380[warn] |match may not be exhaustive.

381[warn] |

382[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

383[warn] |

384[warn] | longer explanation available when compiling with `-explain`

385[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Spine.scala:173:57

386[warn] 173 | TypeEqK.ext[F, F2]([y] => (_: Unit) => ev1.at[y] match { case BiInjective[|*|](_, ev) => ev} )

387[warn] | ^^^^^^^^^

388[warn] |match may not be exhaustive.

389[warn] |

390[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

391[warn] |

392[warn] | longer explanation available when compiling with `-explain`

393[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:90:17

394[warn] 90 | case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

395[warn] | ^

396[warn] |the type test for (p1 |*| p2) =:= (P1 |*| P2) cannot be checked at runtime because its type arguments can't be determined from P =:= (P1 |*| P2)

397[warn] |

398[warn] | longer explanation available when compiling with `-explain`

399[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:94:17

400[warn] 94 | case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

401[warn] | ^

402[warn] |the type test for (p1 |*| p2) =:= (P1 |*| P2) cannot be checked at runtime because its type arguments can't be determined from P =:= (P1 |*| P2)

403[warn] |

404[warn] | longer explanation available when compiling with `-explain`

405[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Projection.scala:98:17

406[warn] 98 | case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

407[warn] | ^

408[warn] |the type test for (p1 |*| p2) =:= (P1 |*| P2) cannot be checked at runtime because its type arguments can't be determined from P =:= (P1 |*| P2)

409[warn] |

410[warn] | longer explanation available when compiling with `-explain`

411[warn] there were 20 deprecation warnings; re-run with -deprecation for details

412[warn] 39 warnings found

413[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/AForest.scala:128:6

414[warn] 128 | ev match { case BiInjective[<*>](ev1, TypeEq(Refl())) =>

415[warn] | ^^

416[warn] |match may not be exhaustive.

417[warn] |

418[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

419[warn] |

420[warn] | longer explanation available when compiling with `-explain`

421[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/AForest.scala:137:6

422[warn] 137 | ev match { case BiInjective[<*>](TypeEq(Refl()), ev2) =>

423[warn] | ^^

424[warn] |match may not be exhaustive.

425[warn] |

426[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

427[warn] |

428[warn] | longer explanation available when compiling with `-explain`

429[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Knit.scala:32:11

430[warn] 32 | case g: Focus.Fst[p, f1, b] =>

431[warn] | ^^^^^^^^^^^^^^^^^^^^^^

432[warn] | Unreachable case

433[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Knit.scala:34:11

434[warn] 34 | case g: Focus.Snd[p, f2, a] =>

435[warn] | ^^^^^^^^^^^^^^^^^^^^^^

436[warn] | Unreachable case

437[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:535:11

438[warn] 535 | case br: Bin.Branch[br, lf, f, b1, b2] =>

439[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

440[warn] | Unreachable case

441[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:757:15

442[warn] 757 | case p: Projection.DiscardFst[pair, b1, b2, c] =>

443[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

444[warn] | Unreachable case

445[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:759:15

446[warn] 759 | case p: Projection.DiscardSnd[pair, b1, b2, c] =>

447[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

448[warn] | Unreachable case

449[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:927:10

450[warn] 927 | ev match {

451[warn] | ^^

452[warn] |match may not be exhaustive.

453[warn] |

454[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

455[warn] |

456[warn] | longer explanation available when compiling with `-explain`

457[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1349:19

458[warn] 1349 | case _: Focus.Fst[pair, c11, p] =>

459[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

460[warn] | Unreachable case

461[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1351:19

462[warn] 1351 | case _: Focus.Snd[pair, c12, p] =>

463[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

464[warn] | Unreachable case

465[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1343:11

466[warn] 1343 | (summon[(c1[Var[V]] ** q) =:= C[Var[V]]] andThen ev) match { case BiInjective[**](c1vv_vv @ TypeEq(Refl()), q_vv @ TypeEq(Refl())) =>

467[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

468[warn] |match may not be exhaustive.

469[warn] |

470[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

471[warn] |

472[warn] | longer explanation available when compiling with `-explain`

473[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1361:19

474[warn] 1361 | case _: Focus.Fst[pair, c21, q] =>

475[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

476[warn] | Unreachable case

477[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1363:19

478[warn] 1363 | case _: Focus.Snd[pair, c22, q] =>

479[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

480[warn] | Unreachable case

481[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1355:11

482[warn] 1355 | (summon[(p ** c2[Var[V]]) =:= C[Var[V]]] andThen ev) match { case BiInjective[**](TypeEq(Refl()), c2vv_vv @ TypeEq(Refl())) =>

483[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

484[warn] |match may not be exhaustive.

485[warn] |

486[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

487[warn] |

488[warn] | longer explanation available when compiling with `-explain`

489[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1342:13

490[warn] 1342 | case c: Focus.Fst[pair, c1, q] =>

491[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

492[warn] | Unreachable case

493[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1354:13

494[warn] 1354 | case c: Focus.Snd[pair, c2, p] =>

495[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

496[warn] | Unreachable case

497[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1472:15

498[warn] 1472 | (summon[Var[v] =:= VV] andThen ev) match { case Injective[Var](TypeEq(Refl())) =>

499[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

500[warn] |match may not be exhaustive.

501[warn] |

502[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

503[warn] |

504[warn] | longer explanation available when compiling with `-explain`

505[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1486:15

506[warn] 1486 | (summon[(a1 ** a2) =:= A] andThen ev) match { case BiInjective[**](TypeEq(Refl()), TypeEq(Refl())) =>

507[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

508[warn] |match may not be exhaustive.

509[warn] |

510[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

511[warn] |

512[warn] | longer explanation available when compiling with `-explain`

513[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1509:17

514[warn] 1509 | (summon[(a1 ** a2) =:= A] andThen ev) match { case BiInjective[**](TypeEq(Refl()), TypeEq(Refl())) =>

515[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

516[warn] |match may not be exhaustive.

517[warn] |

518[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

519[warn] |

520[warn] | longer explanation available when compiling with `-explain`

521[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1529:17

522[warn] 1529 | (summon[Var[V] =:= f1[Var[V]]] andThen f1v_u) match

523[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

524[warn] |match may not be exhaustive.

525[warn] |

526[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

527[warn] |

528[warn] | longer explanation available when compiling with `-explain`

529[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1531:19

530[warn] 1531 | case _: Focus.Fst[pair, g1, t] =>

531[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

532[warn] | Unreachable case

533[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1533:19

534[warn] 1533 | case _: Focus.Snd[pair, g2, s] =>

535[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

536[warn] | Unreachable case

537[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1526:11

538[warn] 1526 | (summon[(f1[Var[V]] ** q) =:= F[Var[V]]] andThen ev) match { case BiInjective[**](f1v_u @ TypeEq(Refl()), TypeEq(Refl())) =>

539[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

540[warn] |match may not be exhaustive.

541[warn] |

542[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

543[warn] |

544[warn] | longer explanation available when compiling with `-explain`

545[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1540:17

546[warn] 1540 | (summon[Var[V] =:= f2[Var[V]]] andThen f2v_u) match

547[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

548[warn] |match may not be exhaustive.

549[warn] |

550[warn] |It would fail on pattern case: libretto.lambda.util.Injective(_: =:= (anonymous))

551[warn] |

552[warn] | longer explanation available when compiling with `-explain`

553[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1542:19

554[warn] 1542 | case _: Focus.Fst[pair, g1, t] =>

555[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

556[warn] | Unreachable case

557[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1544:19

558[warn] 1544 | case _: Focus.Snd[pair, g2, s] =>

559[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

560[warn] | Unreachable case

561[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1537:11

562[warn] 1537 | (summon[(p** f2[Var[V]]) =:= F[Var[V]]] andThen ev) match { case BiInjective[**](TypeEq(Refl()), f2v_u @ TypeEq(Refl())) =>

563[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

564[warn] |match may not be exhaustive.

565[warn] |

566[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

567[warn] |

568[warn] | longer explanation available when compiling with `-explain`

569[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1525:13

570[warn] 1525 | case f: Focus.Fst[pair, f1, q] =>

571[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

572[warn] | Unreachable case

573[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1536:13

574[warn] 1536 | case f: Focus.Snd[pair, f2, p] =>

575[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

576[warn] | Unreachable case

577[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1556:13

578[warn] 1556 | case _: Focus.Fst[pair, f1, y] => varIsNotPair(ev.flip)

579[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

580[warn] | Unreachable case

581[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/LambdasImpl.scala:1557:13

582[warn] 1557 | case _: Focus.Snd[pair, f2, x] => varIsNotPair(ev.flip)

583[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

584[warn] | Unreachable case

585[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/PatternMatching.scala:123:11

586[warn] 123 | case r: AForest.Focused.At[arr, pr, f, t, y, g] =>

587[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

588[warn] | Unreachable case

589[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:228:15

590[warn] 228 | (ev andThen summon[F[T] =:= (f1[T] |*| a2)]) match

591[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

592[warn] |match may not be exhaustive.

593[warn] |

594[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

595[warn] |

596[warn] | longer explanation available when compiling with `-explain`

597[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:232:15

598[warn] 232 | (ev andThen summon[F[T] =:= (a1 |*| f2[T])]) match

599[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

600[warn] |match may not be exhaustive.

601[warn] |

602[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

603[warn] |

604[warn] | longer explanation available when compiling with `-explain`

605[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:227:17

606[warn] 227 | case i: Focus.Fst[pair, f1, a2] =>

607[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

608[warn] | Unreachable case

609[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:231:17

610[warn] 231 | case i: Focus.Snd[pair, f2, a1] =>

611[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

612[warn] | Unreachable case

613[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:474:15

614[warn] 474 | (summon[(g1[X] |*| z) =:= G[X]] andThen ev andThen ev1) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

615[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

616[warn] |match may not be exhaustive.

617[warn] |

618[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

619[warn] |

620[warn] | longer explanation available when compiling with `-explain`

621[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:481:15

622[warn] 481 | (summon[(z |*| g2[X]) =:= G[X]] andThen ev andThen ev1) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

623[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

624[warn] |match may not be exhaustive.

625[warn] |

626[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

627[warn] |

628[warn] | longer explanation available when compiling with `-explain`

629[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:473:17

630[warn] 473 | case g: Focus.Fst[pair, g1, z] =>

631[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

632[warn] | Unreachable case

633[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:480:17

634[warn] 480 | case g: Focus.Snd[pair, g2, z] =>

635[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

636[warn] | Unreachable case

637[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:544:15

638[warn] 544 | (ev1 andThen ev andThen summon[F[X] =:= (f1[X] |*| z)]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

639[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

640[warn] |match may not be exhaustive.

641[warn] |

642[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

643[warn] |

644[warn] | longer explanation available when compiling with `-explain`

645[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:555:15

646[warn] 555 | (ev1 andThen ev andThen summon[F[X] =:= (z |*| f2[X])]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

647[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

648[warn] |match may not be exhaustive.

649[warn] |

650[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

651[warn] |

652[warn] | longer explanation available when compiling with `-explain`

653[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:543:17

654[warn] 543 | case f: Focus.Fst[pair, f1, z] =>

655[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

656[warn] | Unreachable case

657[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:554:17

658[warn] 554 | case f: Focus.Snd[pair, f2, z] =>

659[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

660[warn] | Unreachable case

661[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:572:15

662[warn] 572 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

663[warn] | ^^^^^^^^^^^^^^

664[warn] |match may not be exhaustive.

665[warn] |

666[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

667[warn] |

668[warn] | longer explanation available when compiling with `-explain`

669[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:583:15

670[warn] 583 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

671[warn] | ^^^^^^^^^^^^^^

672[warn] |match may not be exhaustive.

673[warn] |

674[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

675[warn] |

676[warn] | longer explanation available when compiling with `-explain`

677[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:571:17

678[warn] 571 | case f: Focus.Fst[pair, f1, a2] =>

679[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

680[warn] | Unreachable case

681[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:582:17

682[warn] 582 | case f: Focus.Snd[pair, f2, a1] =>

683[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

684[warn] | Unreachable case

685[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:600:15

686[warn] 600 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

687[warn] | ^^^^^^^^^^^^^^

688[warn] |match may not be exhaustive.

689[warn] |

690[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

691[warn] |

692[warn] | longer explanation available when compiling with `-explain`

693[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:611:15

694[warn] 611 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

695[warn] | ^^^^^^^^^^^^^^

696[warn] |match may not be exhaustive.

697[warn] |

698[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

699[warn] |

700[warn] | longer explanation available when compiling with `-explain`

701[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:599:17

702[warn] 599 | case j: Focus.Fst[pair, f1, q] =>

703[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

704[warn] | Unreachable case

705[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:610:17

706[warn] 610 | case j: Focus.Snd[pair, f2, p] =>

707[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

708[warn] | Unreachable case

709[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:628:15

710[warn] 628 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

711[warn] | ^^^^^^^^^^^^^^

712[warn] |match may not be exhaustive.

713[warn] |

714[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

715[warn] |

716[warn] | longer explanation available when compiling with `-explain`

717[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:639:15

718[warn] 639 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

719[warn] | ^^^^^^^^^^^^^^

720[warn] |match may not be exhaustive.

721[warn] |

722[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

723[warn] |

724[warn] | longer explanation available when compiling with `-explain`

725[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:627:17

726[warn] 627 | case f: Focus.Fst[pair, f1, a3] =>

727[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

728[warn] | Unreachable case

729[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:638:17

730[warn] 638 | case f: Focus.Snd[pair, f2, a1] =>

731[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

732[warn] | Unreachable case

733[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:656:15

734[warn] 656 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

735[warn] | ^^^^^^^^^^^^^^

736[warn] |match may not be exhaustive.

737[warn] |

738[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

739[warn] |

740[warn] | longer explanation available when compiling with `-explain`

741[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:667:15

742[warn] 667 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

743[warn] | ^^^^^^^^^^^^^^

744[warn] |match may not be exhaustive.

745[warn] |

746[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

747[warn] |

748[warn] | longer explanation available when compiling with `-explain`

749[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:655:17

750[warn] 655 | case f: Focus.Fst[pair, f1, a3] =>

751[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

752[warn] | Unreachable case

753[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:666:17

754[warn] 666 | case f: Focus.Snd[pair, f2, a1] =>

755[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

756[warn] | Unreachable case

757[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:684:15

758[warn] 684 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

759[warn] | ^^^^^^^^^^^^^^

760[warn] |match may not be exhaustive.

761[warn] |

762[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

763[warn] |

764[warn] | longer explanation available when compiling with `-explain`

765[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:695:15

766[warn] 695 | (ev1 andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

767[warn] | ^^^^^^^^^^^^^^

768[warn] |match may not be exhaustive.

769[warn] |

770[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

771[warn] |

772[warn] | longer explanation available when compiling with `-explain`

773[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:683:17

774[warn] 683 | case f: Focus.Fst[pair, f1, a4] =>

775[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

776[warn] | Unreachable case

777[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:694:17

778[warn] 694 | case f: Focus.Snd[pair, f2, a2] =>

779[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

780[warn] | Unreachable case

781[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:830:11

782[warn] 830 | (ev andThen summon[F[T] =:= (f1[T] |*| x2)]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

783[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

784[warn] |match may not be exhaustive.

785[warn] |

786[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

787[warn] |

788[warn] | longer explanation available when compiling with `-explain`

789[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:847:11

790[warn] 847 | (ev andThen summon[F[T] =:= (x1 |*| f2[T])]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

791[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

792[warn] |match may not be exhaustive.

793[warn] |

794[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

795[warn] |

796[warn] | longer explanation available when compiling with `-explain`

797[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:829:13

798[warn] 829 | case i: Focus.Fst[pair, f1, x2] =>

799[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

800[warn] | Unreachable case

801[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:846:13

802[warn] 846 | case i: Focus.Snd[pair, f2, x1] =>

803[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

804[warn] | Unreachable case

805[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:870:11

806[warn] 870 | (ev andThen summon[G[T] =:= (g1[T] |*| y2)]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

807[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

808[warn] |match may not be exhaustive.

809[warn] |

810[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

811[warn] |

812[warn] | longer explanation available when compiling with `-explain`

813[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:887:11

814[warn] 887 | (ev andThen summon[G[T] =:= (y1 |*| g2[T])]) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

815[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

816[warn] |match may not be exhaustive.

817[warn] |

818[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

819[warn] |

820[warn] | longer explanation available when compiling with `-explain`

821[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:869:13

822[warn] 869 | case i: Focus.Fst[pair, g1, y2] =>

823[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

824[warn] | Unreachable case

825[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:886:13

826[warn] 886 | case i: Focus.Snd[pair, g2, y1] =>

827[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

828[warn] | Unreachable case

829[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1227:10

830[warn] 1227 | summon[(f1[T] |*| a2) =:= (A1 |*| A2)] match

831[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

832[warn] |match may not be exhaustive.

833[warn] |

834[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

835[warn] |

836[warn] | longer explanation available when compiling with `-explain`

837[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1231:10

838[warn] 1231 | summon[(a1 |*| f2[T]) =:= (A1 |*| A2)] match

839[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

840[warn] |match may not be exhaustive.

841[warn] |

842[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

843[warn] |

844[warn] | longer explanation available when compiling with `-explain`

845[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1226:13

846[warn] 1226 | case fst: Focus.Fst[p, f1, a2] =>

847[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

848[warn] | Unreachable case

849[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1230:13

850[warn] 1230 | case snd: Focus.Snd[p, f2, a1] =>

851[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

852[warn] | Unreachable case

853[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1241:11

854[warn] 1241 | (ev andThen summon[G[T] =:= (g1[T] |*| b2)]) match

855[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

856[warn] |match may not be exhaustive.

857[warn] |

858[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

859[warn] |

860[warn] | longer explanation available when compiling with `-explain`

861[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1245:11

862[warn] 1245 | (ev andThen summon[G[T] =:= (b1 |*| g2[T])]) match

863[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

864[warn] |match may not be exhaustive.

865[warn] |

866[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

867[warn] |

868[warn] | longer explanation available when compiling with `-explain`

869[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1240:13

870[warn] 1240 | case i: Focus.Fst[pair, g1, b2] =>

871[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

872[warn] | Unreachable case

873[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1244:13

874[warn] 1244 | case i: Focus.Snd[pair, g2, b1] =>

875[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

876[warn] | Unreachable case

877[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1567:13

878[warn] 1567 | (summon[(f1[T] |*| a2) =:= F[T]] andThen ev) match

879[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

880[warn] |match may not be exhaustive.

881[warn] |

882[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

883[warn] |

884[warn] | longer explanation available when compiling with `-explain`

885[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1578:13

886[warn] 1578 | (summon[(a1 |*| f2[T]) =:= F[T]] andThen ev) match

887[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

888[warn] |match may not be exhaustive.

889[warn] |

890[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

891[warn] |

892[warn] | longer explanation available when compiling with `-explain`

893[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1566:15

894[warn] 1566 | case i: Focus.Fst[pair, f1, a2] =>

895[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

896[warn] | Unreachable case

897[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1577:15

898[warn] 1577 | case i: Focus.Snd[pair, f2, a1] =>

899[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

900[warn] | Unreachable case

901[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1631:8

902[warn] 1631 | ev match {

903[warn] | ^^

904[warn] |match may not be exhaustive.

905[warn] |

906[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

907[warn] |

908[warn] | longer explanation available when compiling with `-explain`

909[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1654:8

910[warn] 1654 | ev match {

911[warn] | ^^

912[warn] |match may not be exhaustive.

913[warn] |

914[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

915[warn] |

916[warn] | longer explanation available when compiling with `-explain`

917[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1855:13

918[warn] 1855 | (summon[(f2[T] |*| a3) =:= F[T]] andThen ev) match

919[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

920[warn] |match may not be exhaustive.

921[warn] |

922[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

923[warn] |

924[warn] | longer explanation available when compiling with `-explain`

925[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1861:13

926[warn] 1861 | (summon[(a2 |*| f3[T]) =:= F[T]] andThen ev) match

927[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

928[warn] |match may not be exhaustive.

929[warn] |

930[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

931[warn] |

932[warn] | longer explanation available when compiling with `-explain`

933[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1854:15

934[warn] 1854 | case i: Focus.Fst[pair, f2, a3] =>

935[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

936[warn] | Unreachable case

937[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1860:15

938[warn] 1860 | case i: Focus.Snd[pair, f3, a2] =>

939[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

940[warn] | Unreachable case

941[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1903:8

942[warn] 1903 | ev match {

943[warn] | ^^

944[warn] |match may not be exhaustive.

945[warn] |

946[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

947[warn] |

948[warn] | longer explanation available when compiling with `-explain`

949[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2134:14

950[warn] 2134 | summon[(f1[T] |*| a2) =:= (A1 |*| A2)] match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

951[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

952[warn] |match may not be exhaustive.

953[warn] |

954[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

955[warn] |

956[warn] | longer explanation available when compiling with `-explain`

957[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2140:14

958[warn] 2140 | summon[(a1 |*| f2[T]) =:= (A1 |*| A2)] match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

959[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

960[warn] |match may not be exhaustive.

961[warn] |

962[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

963[warn] |

964[warn] | longer explanation available when compiling with `-explain`

965[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2133:17

966[warn] 2133 | case i: Focus.Fst[pair, f1, a2] =>

967[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

968[warn] | Unreachable case

969[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2139:17

970[warn] 2139 | case i: Focus.Snd[pair, f2, a1] =>

971[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

972[warn] | Unreachable case

973[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2433:13

974[warn] 2433 | (summon[(f1[T] |*| z) =:= F[T]] andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

975[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

976[warn] |match may not be exhaustive.

977[warn] |

978[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

979[warn] |

980[warn] | longer explanation available when compiling with `-explain`

981[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2446:13

982[warn] 2446 | (summon[(z |*| f2[T]) =:= F[T]] andThen ev) match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

983[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

984[warn] |match may not be exhaustive.

985[warn] |

986[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

987[warn] |

988[warn] | longer explanation available when compiling with `-explain`

989[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2432:15

990[warn] 2432 | case i: Focus.Fst[pair, f1, z] =>

991[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

992[warn] | Unreachable case

993[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2445:15

994[warn] 2445 | case i: Focus.Snd[pair, f2, z] =>

995[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

996[warn] | Unreachable case

997[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2492:8

998[warn] 2492 | ev match {

999[warn] | ^^

1000[warn] |match may not be exhaustive.

1001[warn] |

1002[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1003[warn] |

1004[warn] | longer explanation available when compiling with `-explain`

1005[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2519:8

1006[warn] 2519 | ev match {

1007[warn] | ^^

1008[warn] |match may not be exhaustive.

1009[warn] |

1010[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1011[warn] |

1012[warn] | longer explanation available when compiling with `-explain`

1013[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2545:10

1014[warn] 2545 | ev2 match { case BiInjective[|*|](TypeEq(Refl()), TypeEq(Refl())) =>

1015[warn] | ^^^

1016[warn] |match may not be exhaustive.

1017[warn] |

1018[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1019[warn] |

1020[warn] | longer explanation available when compiling with `-explain`

1021[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2754:13

1022[warn] 2754 | (summon[(f1[T] |*| a2) =:= F[T]] andThen ev) match

1023[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1024[warn] |match may not be exhaustive.

1025[warn] |

1026[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1027[warn] |

1028[warn] | longer explanation available when compiling with `-explain`

1029[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2760:13

1030[warn] 2760 | (summon[(a1 |*| f2[T]) =:= F[T]] andThen ev) match

1031[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1032[warn] |match may not be exhaustive.

1033[warn] |

1034[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1035[warn] |

1036[warn] | longer explanation available when compiling with `-explain`

1037[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2753:15

1038[warn] 2753 | case i: Focus.Fst[pair, f1, a2] =>

1039[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1040[warn] | Unreachable case

1041[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2759:15

1042[warn] 2759 | case i: Focus.Snd[pair, f2, a1] =>

1043[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1044[warn] | Unreachable case

1045[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2774:13

1046[warn] 2774 | (summon[(f1[T] |*| a4) =:= F[T]] andThen ev) match

1047[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1048[warn] |match may not be exhaustive.

1049[warn] |

1050[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1051[warn] |

1052[warn] | longer explanation available when compiling with `-explain`

1053[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2780:13

1054[warn] 2780 | (summon[(a3 |*| f2[T]) =:= F[T]] andThen ev) match

1055[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1056[warn] |match may not be exhaustive.

1057[warn] |

1058[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1059[warn] |

1060[warn] | longer explanation available when compiling with `-explain`

1061[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2773:15

1062[warn] 2773 | case i: Focus.Fst[pair, f1, a4] =>

1063[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1064[warn] | Unreachable case

1065[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2779:15

1066[warn] 2779 | case i: Focus.Snd[pair, f2, a3] =>

1067[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1068[warn] | Unreachable case

1069[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2841:8

1070[warn] 2841 | ev match

1071[warn] | ^^

1072[warn] |match may not be exhaustive.

1073[warn] |

1074[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1075[warn] |

1076[warn] | longer explanation available when compiling with `-explain`

1077[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:549:15

1078[warn] 549 | (ev andThen summon[F[X] =:= (f1[X] |*| z)]) match

1079[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1080[warn] |match may not be exhaustive.

1081[warn] |

1082[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1083[warn] |

1084[warn] | longer explanation available when compiling with `-explain`

1085[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:553:15

1086[warn] 553 | (ev andThen summon[F[X] =:= (z |*| f2[X])]) match

1087[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1088[warn] |match may not be exhaustive.

1089[warn] |

1090[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1091[warn] |

1092[warn] | longer explanation available when compiling with `-explain`

1093[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:548:17

1094[warn] 548 | case i: Focus.Fst[pair, f1, z] =>

1095[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

1096[warn] | Unreachable case

1097[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:552:17

1098[warn] 552 | case i: Focus.Snd[pair, f2, z] =>

1099[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

1100[warn] | Unreachable case

1101[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:569:13

1102[warn] 569 | (ev andThen summon[G[X] =:= (g1[X] |*| b2)]) match

1103[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1104[warn] |match may not be exhaustive.

1105[warn] |

1106[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1107[warn] |

1108[warn] | longer explanation available when compiling with `-explain`

1109[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:573:13

1110[warn] 573 | (ev andThen summon[G[X] =:= (b1 |*| g2[X])]) match

1111[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1112[warn] |match may not be exhaustive.

1113[warn] |

1114[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1115[warn] |

1116[warn] | longer explanation available when compiling with `-explain`

1117[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:568:15

1118[warn] 568 | case j: Focus.Fst[p, g1, b2] =>

1119[warn] | ^^^^^^^^^^^^^^^^^^^^^^^

1120[warn] | Unreachable case

1121[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:572:15

1122[warn] 572 | case j: Focus.Snd[pair, g2, b1] =>

1123[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1124[warn] | Unreachable case

1125[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:206:13

1126[warn] 206 | (summon[(g1[X] ** b2) =:= G[X]] andThen ev andThen ev1) match

1127[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1128[warn] |match may not be exhaustive.

1129[warn] |

1130[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1131[warn] |

1132[warn] | longer explanation available when compiling with `-explain`

1133[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:217:13

1134[warn] 217 | (summon[(b1 ** g2[X]) =:= G[X]] andThen ev andThen ev1) match

1135[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1136[warn] |match may not be exhaustive.

1137[warn] |

1138[warn] |It would fail on pattern case: libretto.lambda.util.BiInjective(_: =:= (anonymous), _: =:= (anonymous))

1139[warn] |

1140[warn] | longer explanation available when compiling with `-explain`

1141[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:205:15

1142[warn] 205 | case g: Focus.Fst[pair, g1, b2] =>

1143[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1144[warn] | Unreachable case

1145[warn] -- [E030] Match case Unreachable Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/ShuffledModule.scala:216:15

1146[warn] 216 | case g: Focus.Snd[pair, g2, b1] =>

1147[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1148[warn] | Unreachable case

1149[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1539:59

1150[warn] 1539 | m.unpair(fa12) match { case v @ m.Unpaired.Impl(fa1, fa2) =>

1151[warn] | ^

1152[warn] |the type test for m.Unpaired.Impl[A1, A2, T1$38, T2$38] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A1, A2, S12]

1153[warn] |

1154[warn] | longer explanation available when compiling with `-explain`

1155[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:1824:59

1156[warn] 1824 | m.unpair(fa23) match { case v @ m.Unpaired.Impl(fa2, fa3) =>

1157[warn] | ^

1158[warn] |the type test for m.Unpaired.Impl[A2, A3, T1$42, T2$42] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A2, A3, S23]

1159[warn] |

1160[warn] | longer explanation available when compiling with `-explain`

1161[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2109:15

1162[warn] 2109 | case v @ m.Unpaired.Impl(fa1, fa2) =>

1163[warn] | ^

1164[warn] |the type test for m.Unpaired.Impl[A1, A2, T1$46, T2$46] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A1, A2, S12]

1165[warn] |

1166[warn] | longer explanation available when compiling with `-explain`

1167[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffle.scala:2396:15

1168[warn] 2396 | case v @ m.Unpaired.Impl(fa2, fa3) =>

1169[warn] | ^

1170[warn] |the type test for m.Unpaired.Impl[A2, A3, T1$50, T2$50] cannot be checked at runtime because its type arguments can't be determined from m.Unpaired[A2, A3, S23]

1171[warn] |

1172[warn] | longer explanation available when compiling with `-explain`

1173[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/lambda/shared/src/main/scala/libretto/lambda/Shuffled.scala:1141:23

1174[warn] 1141 | case v @ om.Unpaired.Impl(fp1, fp2) =>

1175[warn] | ^

1176[warn] |the type test for om.Unpaired.Impl[P1, P2, T1$8, T2$8] cannot be checked at runtime because its type arguments can't be determined from om.Unpaired[P1, P2, A$62]

1177[warn] |

1178[warn] | longer explanation available when compiling with `-explain`

1179[warn] there were 20 deprecation warnings; re-run with -deprecation for details

1180[warn] 168 warnings found

1181[info] done compiling

1182[info] compiling 49 Scala sources to /build/repo/core/target/scala-3.8.0-RC2/classes ...

1183[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:304:13

1184[warn] 304 | case op: Fun.Par[-⚬, a1, a2, b1, b2] =>

1185[warn] | ^

1186[warn] |the type test for libretto.scaletto.impl.Fun.Par[[A, B] =>> A -⚬ B, a1, a2, b1, b2] @b2 @b1 @a2 @

1187[warn] | a1 cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1188[warn] |

1189[warn] | longer explanation available when compiling with `-explain`

1190[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:349:13

1191[warn] 349 | case op: Fun.EitherF[-⚬, a1, a2, b] =>

1192[warn] | ^

1193[warn] |the type test for libretto.scaletto.impl.Fun.EitherF[[A, B] =>> A -⚬ B, a1, a2, b] @b @a2 @a1 cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1194[warn] |

1195[warn] | longer explanation available when compiling with `-explain`

1196[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:368:13

1197[warn] 368 | case op: Fun.OneOfHandle[-⚬, cases, b] =>

1198[warn] | ^

1199[warn] |the type test for libretto.scaletto.impl.Fun.OneOfHandle[[A, B] =>> A -⚬ B, cases, b] @b @cases cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1200[warn] |

1201[warn] | longer explanation available when compiling with `-explain`

1202[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:388:13

1203[warn] 388 | case op: Fun.Choice[-⚬, x1, x2, y] =>

1204[warn] | ^

1205[warn] |the type test for libretto.scaletto.impl.Fun.Choice[[A, B] =>> A -⚬ B, x1, x2, y] @y @x2 @x1 cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1206[warn] |

1207[warn] | longer explanation available when compiling with `-explain`

1208[warn] -- [E092] Pattern Match Unchecked Warning: /build/repo/core/src/main/scala/libretto/scaletto/impl/futurebased/ExecutionImpl.scala:705:13

1209[warn] 705 | case f: Fun.CaptureIntoSub[-⚬, x, a, b] =>

1210[warn] | ^

1211[warn] |the type test for libretto.scaletto.impl.Fun.CaptureIntoSub[[A, B] =>> A -⚬ B, x, a, b] @b @a @x cannot be checked at runtime because its type arguments can't be determined from libretto.scaletto.impl.Fun[[A, B] =>> A -⚬ B, A, B]

1212[warn] |

1213[warn] | longer explanation available when compiling with `-explain`

1214[warn] there were 11 deprecation warnings; re-run with -deprecation for details

1215[warn] 6 warnings found

1216[info] done compiling

1217[info] compiling 15 Scala sources to /build/repo/testing/target/scala-3.8.0-RC2/classes ...

1218[info] done compiling

1219Starting build for ProjectRef(file:/build/repo/,testingScalatest) (libretto-testing-scalatest)... [1/7]

1220Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1221[info] compiling 3 Scala sources to /build/repo/testing-scalatest/target/scala-3.8.0-RC2/classes ...

1222[info] done compiling

1223Starting build for ProjectRef(file:/build/repo/,core) (libretto-core)... [2/7]

1224Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1225Starting build for ProjectRef(file:/build/repo/,stream) (libretto-stream)... [3/7]

1226Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1227[info] compiling 5 Scala sources to /build/repo/stream/target/scala-3.8.0-RC2/classes ...

1228[warn] there were 39 deprecation warnings; re-run with -deprecation for details

1229[warn] one warning found

1230[info] done compiling

1231[info] compiling 1 Scala source to /build/repo/stream/target/scala-3.8.0-RC2/test-classes ...

1232[info] done compiling

1233[info] StreamsTests:

1234[info] - toList ⚬ fromList = id (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (62 milliseconds)

1235[info] - ValSource.map (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (4 milliseconds)

1236[info] - partition (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (9 milliseconds)

1237[info] - concat (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (3 milliseconds)

1238[info] - merge (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (5 milliseconds)

1239[info] - mergeAll (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (28 milliseconds)

1240[info] - merge{Preferred, Balanced}.preferred.slow consumer (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (471 milliseconds)

1241[info] - merge{Preferred, Balanced}.preferred.fast consumer (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (77 milliseconds)

1242[info] - merge{Preferred, Balanced}.balanced.slow consumer (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (452 milliseconds)

1243[info] - merge{Preferred, Balanced}.balanced.fast consumer (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (48 milliseconds)

1244[info] - dup (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (19 milliseconds)

1245[info] - broadcastByKey (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (31 milliseconds)

1246[info] - ValueDrain.contraDup pulls as soon as either one pulls (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (3 milliseconds)

1247[info] - prefetch (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (10 milliseconds)

1248[info] - prefetch > flatten (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (188 milliseconds)

1249Starting build for ProjectRef(file:/build/repo/,librettoZio) (libretto-zio)... [4/7]

1250Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1251[info] compiling 3 Scala sources to /build/repo/libretto-zio/target/scala-3.8.0-RC2/classes ...

1252[info] done compiling

1253[info] compiling 56 Scala sources to /build/repo/examples/target/scala-3.8.0-RC2/classes ...

1254[info] done compiling

1255[info] compiling 2 Scala sources to /build/repo/libretto-zio/target/scala-3.8.0-RC2/test-classes ...

1256[info] done compiling

1257+ DogTreatsFactory suite

1258 + produces the expected number of packs

1259+ Sunflowers suite

1260 + produces the expected number of outputs

12612 tests passed. 0 tests failed. 0 tests ignored.

1262

1263Executed in 1 s 332 ms

1264

1265Starting build for ProjectRef(file:/build/repo/,examples) (libretto-examples)... [5/7]

1266Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1267[info] compiling 3 Scala sources to /build/repo/examples/target/scala-3.8.0-RC2/test-classes ...

1268[info] done compiling

1269[info] AssemblyTests:

1270[info] - CoffeeMachine (158 milliseconds)

1271[info] DiningPhilosophersTests:

1272[info] - SharedFork: successful pick up (left) (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (63 milliseconds)

1273[info] - SharedFork cannot be picked up twice (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (4 milliseconds)

1274[info] UnaryArithmeticTests:

1275[info] - 2 + 3 (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (18 milliseconds)

1276[info] - 100 + 200 (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (112 milliseconds)

1277[info] - 2 * 3 (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (12 milliseconds)

1278[info] - 7 * 19 (executed by TestExecutor(FutureExecutor.defaultFactory,ScalettoTestKit.factory)) (175 milliseconds)

1279[info] - Supermarket (1 second, 858 milliseconds)

1280[info] - DiningPhilosophers (69 milliseconds)

1281[info] - DogTreatsFactory (45 milliseconds)

1282[info] - Canteen (18 milliseconds)

1283[info] - SunflowerProcessingFactory (68 milliseconds)

1284[info] - LibraryOfAlexandria (66 milliseconds)

1285[info] - TV (44 milliseconds)

1286Starting build for ProjectRef(file:/build/repo/,lambdaJVM) (libretto-lambda)... [6/7]

1287Compile scalacOptions: -Xkind-projector:underscores, -Wconf:msg=can be rewritten automatically under:s, -source:3.8

1288[info] compiling 3 Scala sources to /build/repo/lambda/jvm/target/scala-3.8.0-RC2/test-classes ...

1289[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:268:24

1290[warn] 268 | case AssocLR() => a match { case Pair(Pair(a1, a2), a3) => Pair(a1, Pair(a2, a3)) }

1291[warn] | ^

1292[warn] |match may not be exhaustive.

1293[warn] |

1294[warn] |It would fail on pattern case: Values.SingleVal(_), Values.Pair(Values.SingleVal(_), _)

1295[warn] |

1296[warn] | longer explanation available when compiling with `-explain`

1297[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:269:24

1298[warn] 269 | case AssocRL() => a match { case Pair(a1, Pair(a2, a3)) => Pair(Pair(a1, a2), a3) }

1299[warn] | ^

1300[warn] |match may not be exhaustive.

1301[warn] |

1302[warn] |It would fail on pattern case: Values.SingleVal(_), Values.Pair(_, Values.SingleVal(_))

1303[warn] |

1304[warn] | longer explanation available when compiling with `-explain`

1305[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:270:26

1306[warn] 270 | case Par(f1, f2) => a match { case Pair(a1, a2) => Pair(evaluate(f1)(a1), evaluate(f2)(a2)) }

1307[warn] | ^

1308[warn] | match may not be exhaustive.

1309[warn] |

1310[warn] | It would fail on pattern case: Values.SingleVal(_)

1311[warn] |

1312[warn] | longer explanation available when compiling with `-explain`

1313[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:271:21

1314[warn] 271 | case Swap() => a match { case Pair(a1, a2) => Pair(a2, a1) }

1315[warn] | ^

1316[warn] | match may not be exhaustive.

1317[warn] |

1318[warn] | It would fail on pattern case: Values.SingleVal(_)

1319[warn] |

1320[warn] | longer explanation available when compiling with `-explain`

1321[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:274:21

1322[warn] 274 | case Prj1() => a match { case Pair(a1, _) => a1 }

1323[warn] | ^

1324[warn] | match may not be exhaustive.

1325[warn] |

1326[warn] | It would fail on pattern case: Values.SingleVal(_)

1327[warn] |

1328[warn] | longer explanation available when compiling with `-explain`

1329[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:275:21

1330[warn] 275 | case Prj2() => a match { case Pair(_, a2) => a2 }

1331[warn] | ^

1332[warn] | match may not be exhaustive.

1333[warn] |

1334[warn] | It would fail on pattern case: Values.SingleVal(_)

1335[warn] |

1336[warn] | longer explanation available when compiling with `-explain`

1337[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:277:24

1338[warn] 277 | case MapVal(f) => a match { case SingleVal(a) => SingleVal(f(a)) }

1339[warn] | ^

1340[warn] | match may not be exhaustive.

1341[warn] |

1342[warn] | It would fail on pattern case: Values.Pair(_, _)

1343[warn] |

1344[warn] | longer explanation available when compiling with `-explain`

1345[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:278:25

1346[warn] 278 | case LiftPair() => a match { case SingleVal((a1, a2)) => Pair(SingleVal(a1), SingleVal(a2)) }

1347[warn] | ^

1348[warn] | match may not be exhaustive.

1349[warn] |

1350[warn] | It would fail on pattern case: Values.SingleVal(_), Values.Pair(_, _)

1351[warn] |

1352[warn] | longer explanation available when compiling with `-explain`

1353[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:279:27

1354[warn] 279 | case UnliftPair() => a match { case Pair(SingleVal(a1), SingleVal(a2)) => SingleVal((a1, a2)) }

1355[warn] | ^

1356[warn] |match may not be exhaustive.

1357[warn] |

1358[warn] |It would fail on pattern case: Values.SingleVal(_), Values.Pair(Values.Pair(_, _), _), Values.Pair(_, Values.Pair(_, _))

1359[warn] |

1360[warn] | longer explanation available when compiling with `-explain`

1361[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:265:4

1362[warn] 265 | f match

1363[warn] | ^

1364[warn] |match may not be exhaustive.

1365[warn] |

1366[warn] |It would fail on pattern case: InjectL(), InjectR(), HandleEither(_, _), DistributeL()

1367[warn] |

1368[warn] | longer explanation available when compiling with `-explain`

1369[warn] 10 warnings found

1370[info] done compiling

1371[info] LambdaTests:

1372[info] - some λ-expressions (165 milliseconds)

1373[info] - shuffle 8 inputs (#1) (65 milliseconds)

1374[info] - shuffle 8 inputs (#2) (54 milliseconds)

1375[info] - shuffle 8 inputs (#3) (87 milliseconds)

1376[info] - shuffle 8 inputs (#4) (35 milliseconds)

1377[info] - shuffle 8 inputs (#5) (29 milliseconds)

1378[info] - shuffle 8 inputs (#6) (30 milliseconds)

1379[info] - unused variable (7 milliseconds)

1380[info] - overused variable (3 milliseconds)

1381[info] - `one` expression (12 milliseconds)

1382[info] - multiple `one` expressions (2 milliseconds)

1383[info] - unused variable, `one`-based result (1 millisecond)

1384[info] - affine variable: unused (10 milliseconds)

1385[info] - affine variable: used once (1 millisecond)

1386[info] - affine variable: used twice (1 millisecond)

1387[info] - cosemigroupal variable: used once (2 milliseconds)

1388[info] - cosemigroupal variable: used twice (1 millisecond)

1389[info] - cosemigroupal variable: unused (2 milliseconds)

1390[info] - cosemigroupal variable: used twice, with a twist (11 milliseconds)

1391[info] - cosemigroupal variable: derived expressions remain linear (2 milliseconds)

1392[info] - comonoidal variable: used once (3 milliseconds)

1393[info] - comonoidal variable: used twice (1 millisecond)

1394[info] - comonoidal variable: unused (1 millisecond)

1395[info] - introduce non-linearity via pattern match (1 millisecond)

1396[info] - discard projection 1 (2 milliseconds)

1397[info] - discard projection 2 (2 milliseconds)

1398[info] - discard both projections (3 milliseconds)

1399[info] - simple switch on ++ (12 milliseconds)

1400[info] - nested switch on ++ (4 milliseconds)

1401[info] - switch on ++ capturing outer variables (8 milliseconds)

1402[info] - switch with (multi-use) captured expression in one branch and no-use in the other branch (9 milliseconds)

1403[info] ShuffleTests:

1404[info] - normalization: fst(snd(f)) > assocLR = assocLR > snd(fst(f)) (32 milliseconds)

1405[info] - normalization: ix = assocLR > snd(swap) > assocRL (6 milliseconds)

1406[info] - normalization: xi = assocRL > fst(swap) > assocLR (2 milliseconds)

1407[info] - normalization: ixi = assocLR > snd(assocRL > fst(swap) > assocLR) > assocRL (3 milliseconds)

1408[info] - normalization: ixi = assocRL > fst(assocLR > snd(swap) > assocRL) > assocLR (1 millisecond)

1409[info] - normalization: ixi > par(ixi, ixi) > ixi = par(ixi, ixi) > ixi > par(ixi, ixi) (3 milliseconds)

1410[info] - normalization: f > f.invert = id, where f = par(ixi, ixi) > ixi > par(ixi, ixi) (1 millisecond)

1411

1412************************

1413Build summary:

1414[{

1415 "module": "libretto-testing",

1416 "compile": {"status": "ok", "tookMs": 89145, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1417 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1418 "test-compile": {"status": "ok", "tookMs": 277, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1419 "test": {"status": "ok", "tookMs": 270, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1420 "publish": {"status": "skipped", "tookMs": 0},

1421 "metadata": {

1422 "crossScalaVersions": ["3.7.4"]

1423}

1424},{

1425 "module": "libretto-testing-scalatest",

1426 "compile": {"status": "ok", "tookMs": 1326, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1427 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1428 "test-compile": {"status": "ok", "tookMs": 360, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1429 "test": {"status": "ok", "tookMs": 277, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1430 "publish": {"status": "skipped", "tookMs": 0},

1431 "metadata": {

1432 "crossScalaVersions": ["3.7.4"]

1433}

1434},{

1435 "module": "libretto-core",

1436 "compile": {"status": "ok", "tookMs": 117, "warnings": 5, "errors": 0, "sourceVersion": "3.8"},

1437 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1438 "test-compile": {"status": "ok", "tookMs": 159, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1439 "test": {"status": "ok", "tookMs": 139, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1440 "publish": {"status": "skipped", "tookMs": 0},

1441 "metadata": {

1442 "crossScalaVersions": ["3.7.4"]

1443}

1444},{

1445 "module": "libretto-stream",

1446 "compile": {"status": "ok", "tookMs": 3937, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1447 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1448 "test-compile": {"status": "ok", "tookMs": 1467, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1449 "test": {"status": "ok", "tookMs": 3077, "passed": 15, "failed": 0, "ignored": 0, "skipped": 0, "total": 15, "byFramework": [{"framework": "unknown", "stats": {"passed": 15, "failed": 0, "ignored": 0, "skipped": 0, "total": 15}}]},

1450 "publish": {"status": "skipped", "tookMs": 0},

1451 "metadata": {

1452 "crossScalaVersions": ["3.7.4"]

1453}

1454},{

1455 "module": "libretto-zio",

1456 "compile": {"status": "ok", "tookMs": 1144, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1457 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1458 "test-compile": {"status": "ok", "tookMs": 6780, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1459 "test": {"status": "ok", "tookMs": 2308, "passed": 2, "failed": 0, "ignored": 0, "skipped": 0, "total": 2, "byFramework": [{"framework": "unknown", "stats": {"passed": 2, "failed": 0, "ignored": 0, "skipped": 0, "total": 2}}]},

1460 "publish": {"status": "skipped", "tookMs": 0},

1461 "metadata": {

1462 "crossScalaVersions": ["3.7.4"]

1463}

1464},{

1465 "module": "libretto-examples",

1466 "compile": {"status": "ok", "tookMs": 235, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1467 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1468 "test-compile": {"status": "ok", "tookMs": 1228, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1469 "test": {"status": "ok", "tookMs": 2851, "passed": 14, "failed": 0, "ignored": 0, "skipped": 0, "total": 14, "byFramework": [{"framework": "unknown", "stats": {"passed": 14, "failed": 0, "ignored": 0, "skipped": 0, "total": 14}}]},

1470 "publish": {"status": "skipped", "tookMs": 0},

1471 "metadata": {

1472 "crossScalaVersions": ["3.7.4"]

1473}

1474},{

1475 "module": "libretto-lambda",

1476 "compile": {"status": "ok", "tookMs": 68, "warnings": 166, "errors": 0, "sourceVersion": "3.8"},

1477 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1478 "test-compile": {"status": "ok", "tookMs": 1949, "warnings": 10, "errors": 0, "sourceVersion": "3.8"},

1479 "test": {"status": "ok", "tookMs": 844, "passed": 38, "failed": 0, "ignored": 0, "skipped": 0, "total": 38, "byFramework": [{"framework": "unknown", "stats": {"passed": 38, "failed": 0, "ignored": 0, "skipped": 0, "total": 38}}]},

1480 "publish": {"status": "skipped", "tookMs": 0},

1481 "metadata": {

1482 "crossScalaVersions": ["3.7.4"]

1483}

1484}]

1485************************

1486[success] Total time: 140 s (0:02:20.0), completed Nov 28, 2025, 12:01:43 PM

1487[0JChecking patch project/plugins.sbt...

1488Checking patch build.sbt...

1489Applied patch project/plugins.sbt cleanly.

1490Applied patch build.sbt cleanly.

Build Logs