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.1-RC1-bin-20251205-cd32c6f-NIGHTLY

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.1-RC1-bin-20251205-cd32c6f-NIGHTLY

15Execute tests: false

16sbt project found:

17No prepare script found for project tomasmikula/libretto

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

19Scala version: 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY

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":"compile-only","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.1-RC1-bin-20251205-cd32c6f-NIGHTLY

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.1-RC1-bin-20251205-cd32c6f-NIGHTLY"

41"++3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY -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.1-RC1-bin-20251205-cd32c6f-NIGHTLY """{"projects":{"exclude":["dev.continuously%libretto"],"overrides":{}},"java":{},"sbt":{"commands":[],"options":[]},"mill":{"options":[]},"tests":"compile-only","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.851s.

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.1-RC1-bin-20251205-cd32c6f-NIGHTLY

71OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in testing/crossScalaVersions

72OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in lambdaJVM/crossScalaVersions

73OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in mashup/crossScalaVersions

74OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in coreTests/crossScalaVersions

75OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in core/crossScalaVersions

76OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in lambdaExamples/crossScalaVersions

77OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in lambdaJS/crossScalaVersions

78OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in typology/crossScalaVersions

79OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in mashupExamples/crossScalaVersions

80OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in docs/crossScalaVersions

81OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in root/crossScalaVersions

82OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in kindvilleJS/crossScalaVersions

83OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in stream/crossScalaVersions

84OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in examples/crossScalaVersions

85OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in kindvilleJVM/crossScalaVersions

86OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in testingScalatest/crossScalaVersions

87OpenCB::Changing crossVersion 3.7.4 -> 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY in librettoZio/crossScalaVersions

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

89[info] Setting Scala version to 3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY on 17 projects.

90[info] Switching Scala version on:

91[info] examples (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

92[info] mashup (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

93[info] * root (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

94[info] docs (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

95[info] testing (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

96[info] typology (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

97[info] kindvilleJS (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

98[info] lambdaJS (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

99[info] lambdaExamples (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

100[info] stream (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

101[info] mashupExamples (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

102[info] lambdaJVM (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

103[info] core (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

104[info] kindvilleJVM (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

105[info] coreTests (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

106[info] testingScalatest (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

107[info] librettoZio (3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY)

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 Dec 6, 2025, 12:41:56 AM

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

133Parsed config: Success(ProjectBuildConfig(ProjectsConfig(List(dev.continuously%libretto),Map()),CompileOnly,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.1-RC1-bin-20251205-cd32c6f-NIGHTLY/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:471:8

230[warn] 471 | 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/Items1Named.scala:555:15

238[warn] 555 | case that: Snoc[sep, of, f, bInit, bLbl, b] =>

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

240[warn] | Unreachable case

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

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

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

244[warn] | Unreachable case

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

246[warn] 42 | case p: DiscardSnd[pair, q1, q2, r] => discardSnd[q1, q2] > 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:43:13

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

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

252[warn] | Unreachable case

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

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

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

256[warn] | Unreachable case

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

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

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

260[warn] | Unreachable case

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

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

263[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

264[warn] | match may not be exhaustive.

265[warn] |

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

267[warn] |

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

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

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

271[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

272[warn] | match may not be exhaustive.

273[warn] |

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

275[warn] |

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

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

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

279[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

280[warn] | match may not be exhaustive.

281[warn] |

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

283[warn] |

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

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

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

287[warn] | ^^^^^^^^^^^^

288[warn] |match may not be exhaustive.

289[warn] |

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

291[warn] |

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

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

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

295[warn] | ^^^^^^^^^^^^^^^

296[warn] |match may not be exhaustive.

297[warn] |

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

299[warn] |

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

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

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

303[warn] | ^^^^^^^^^^^

304[warn] |match may not be exhaustive.

305[warn] |

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

307[warn] |

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

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

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

311[warn] | ^^^^^^^^

312[warn] |match may not be exhaustive.

313[warn] |

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

315[warn] |

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

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

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

319[warn] | ^^^^^^^^^^

320[warn] |match may not be exhaustive.

321[warn] |

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

323[warn] |

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

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

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

327[warn] | ^^^^^^^^^^^

328[warn] |match may not be exhaustive.

329[warn] |

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

331[warn] |

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

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

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

335[warn] | ^^^^^^^^^^^^^^

336[warn] |match may not be exhaustive.

337[warn] |

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

339[warn] |

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

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

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

343[warn] | ^^^^^^^^^^^

344[warn] |match may not be exhaustive.

345[warn] |

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

347[warn] |

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

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

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

351[warn] | ^^^^^^^^^^^^^^^

352[warn] |match may not be exhaustive.

353[warn] |

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

355[warn] |

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

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

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

359[warn] | ^^^^^^^^^^^^

360[warn] |match may not be exhaustive.

361[warn] |

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

363[warn] |

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

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

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

367[warn] | ^^^^^^^^^^^^^^^

368[warn] |match may not be exhaustive.

369[warn] |

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

371[warn] |

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

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

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

375[warn] | ^^^^^^^^^^^^

376[warn] |match may not be exhaustive.

377[warn] |

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

379[warn] |

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

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

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

383[warn] | ^^^^^^^^^^^

384[warn] |match may not be exhaustive.

385[warn] |

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

387[warn] |

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

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

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

391[warn] | ^^^^^^^^^

392[warn] |match may not be exhaustive.

393[warn] |

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

395[warn] |

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

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

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

399[warn] | ^

400[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)

401[warn] |

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

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

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

405[warn] | ^

406[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)

407[warn] |

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

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

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

411[warn] | ^

412[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)

413[warn] |

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

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

416[warn] 40 warnings found

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

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

419[warn] | ^^

420[warn] |match may not be exhaustive.

421[warn] |

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

423[warn] |

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

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

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

427[warn] | ^^

428[warn] |match may not be exhaustive.

429[warn] |

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

431[warn] |

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

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

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

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

436[warn] | Unreachable case

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

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

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

440[warn] | Unreachable case

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

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

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

444[warn] | Unreachable case

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

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

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

448[warn] | Unreachable case

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

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

451[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

452[warn] | Unreachable case

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

454[warn] 927 | ev match {

455[warn] | ^^

456[warn] |match may not be exhaustive.

457[warn] |

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

459[warn] |

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

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

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

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

464[warn] | Unreachable case

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

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

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

468[warn] | Unreachable case

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

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

471[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

472[warn] |match may not be exhaustive.

473[warn] |

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

475[warn] |

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

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

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

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

480[warn] | Unreachable case

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

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

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

484[warn] | Unreachable case

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

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

487[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

488[warn] |match may not be exhaustive.

489[warn] |

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

491[warn] |

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

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

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

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

496[warn] | Unreachable case

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

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

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

500[warn] | Unreachable case

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

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

503[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

504[warn] |match may not be exhaustive.

505[warn] |

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

507[warn] |

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

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

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

511[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

512[warn] |match may not be exhaustive.

513[warn] |

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

515[warn] |

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

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

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

519[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

520[warn] |match may not be exhaustive.

521[warn] |

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

523[warn] |

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

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

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

527[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

528[warn] |match may not be exhaustive.

529[warn] |

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

531[warn] |

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

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

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

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

536[warn] | Unreachable case

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

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

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

540[warn] | Unreachable case

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

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

543[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

544[warn] |match may not be exhaustive.

545[warn] |

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

547[warn] |

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

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

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

551[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

552[warn] |match may not be exhaustive.

553[warn] |

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

555[warn] |

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

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

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

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

560[warn] | Unreachable case

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

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

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

564[warn] | Unreachable case

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

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

567[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

568[warn] |match may not be exhaustive.

569[warn] |

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

571[warn] |

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

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

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

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

576[warn] | Unreachable case

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

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

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

580[warn] | Unreachable case

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

582[warn] 1556 | case _: Focus.Fst[pair, f1, y] => 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/LambdasImpl.scala:1557:13

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

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

588[warn] | Unreachable case

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

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

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

592[warn] | Unreachable case

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

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

595[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

596[warn] |match may not be exhaustive.

597[warn] |

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

599[warn] |

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

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

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

603[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

604[warn] |match may not be exhaustive.

605[warn] |

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

607[warn] |

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

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

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

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

612[warn] | Unreachable case

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

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

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

616[warn] | Unreachable case

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

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

619[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

620[warn] |match may not be exhaustive.

621[warn] |

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

623[warn] |

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

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

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

627[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

628[warn] |match may not be exhaustive.

629[warn] |

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

631[warn] |

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

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

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

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

636[warn] | Unreachable case

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

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

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

640[warn] | Unreachable case

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

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

643[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

644[warn] |match may not be exhaustive.

645[warn] |

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

647[warn] |

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

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

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

651[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

652[warn] |match may not be exhaustive.

653[warn] |

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

655[warn] |

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

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

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

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

660[warn] | Unreachable case

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

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

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

664[warn] | Unreachable case

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

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

667[warn] | ^^^^^^^^^^^^^^

668[warn] |match may not be exhaustive.

669[warn] |

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

671[warn] |

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

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

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

675[warn] | ^^^^^^^^^^^^^^

676[warn] |match may not be exhaustive.

677[warn] |

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

679[warn] |

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

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

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

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

684[warn] | Unreachable case

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

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

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

688[warn] | Unreachable case

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

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

691[warn] | ^^^^^^^^^^^^^^

692[warn] |match may not be exhaustive.

693[warn] |

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

695[warn] |

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

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

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

699[warn] | ^^^^^^^^^^^^^^

700[warn] |match may not be exhaustive.

701[warn] |

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

703[warn] |

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

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

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

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

708[warn] | Unreachable case

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

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

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

712[warn] | Unreachable case

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

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

715[warn] | ^^^^^^^^^^^^^^

716[warn] |match may not be exhaustive.

717[warn] |

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

719[warn] |

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

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

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

723[warn] | ^^^^^^^^^^^^^^

724[warn] |match may not be exhaustive.

725[warn] |

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

727[warn] |

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

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

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

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

732[warn] | Unreachable case

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

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

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

736[warn] | Unreachable case

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

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

739[warn] | ^^^^^^^^^^^^^^

740[warn] |match may not be exhaustive.

741[warn] |

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

743[warn] |

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

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

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

747[warn] | ^^^^^^^^^^^^^^

748[warn] |match may not be exhaustive.

749[warn] |

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

751[warn] |

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

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

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

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

756[warn] | Unreachable case

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

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

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

760[warn] | Unreachable case

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

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

763[warn] | ^^^^^^^^^^^^^^

764[warn] |match may not be exhaustive.

765[warn] |

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

767[warn] |

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

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

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

771[warn] | ^^^^^^^^^^^^^^

772[warn] |match may not be exhaustive.

773[warn] |

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

775[warn] |

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

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

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

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

780[warn] | Unreachable case

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

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

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

784[warn] | Unreachable case

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

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

787[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

788[warn] |match may not be exhaustive.

789[warn] |

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

791[warn] |

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

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

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

795[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

796[warn] |match may not be exhaustive.

797[warn] |

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

799[warn] |

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

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

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

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

804[warn] | Unreachable case

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

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

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

808[warn] | Unreachable case

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

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

811[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

812[warn] |match may not be exhaustive.

813[warn] |

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

815[warn] |

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

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

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

819[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

820[warn] |match may not be exhaustive.

821[warn] |

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

823[warn] |

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

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

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

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

828[warn] | Unreachable case

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

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

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

832[warn] | Unreachable case

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

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

835[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

836[warn] |match may not be exhaustive.

837[warn] |

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

839[warn] |

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

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

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

843[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

844[warn] |match may not be exhaustive.

845[warn] |

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

847[warn] |

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

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

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

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

852[warn] | Unreachable case

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

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

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

856[warn] | Unreachable case

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

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

859[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

860[warn] |match may not be exhaustive.

861[warn] |

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

863[warn] |

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

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

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

867[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

868[warn] |match may not be exhaustive.

869[warn] |

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

871[warn] |

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

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

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

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

876[warn] | Unreachable case

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

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

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

880[warn] | Unreachable case

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

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

883[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

884[warn] |match may not be exhaustive.

885[warn] |

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

887[warn] |

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

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

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

891[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

892[warn] |match may not be exhaustive.

893[warn] |

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

895[warn] |

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

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

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

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

900[warn] | Unreachable case

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

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

903[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

904[warn] | Unreachable case

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

906[warn] 1631 | ev match {

907[warn] | ^^

908[warn] |match may not be exhaustive.

909[warn] |

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

911[warn] |

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

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

914[warn] 1654 | ev match {

915[warn] | ^^

916[warn] |match may not be exhaustive.

917[warn] |

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

919[warn] |

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

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

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

923[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

924[warn] |match may not be exhaustive.

925[warn] |

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

927[warn] |

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

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

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

931[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

932[warn] |match may not be exhaustive.

933[warn] |

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

935[warn] |

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

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

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

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

940[warn] | Unreachable case

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

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

943[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

944[warn] | Unreachable case

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

946[warn] 1903 | ev match {

947[warn] | ^^

948[warn] |match may not be exhaustive.

949[warn] |

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

951[warn] |

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

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

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

955[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

956[warn] |match may not be exhaustive.

957[warn] |

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

959[warn] |

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

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

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

963[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

964[warn] |match may not be exhaustive.

965[warn] |

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

967[warn] |

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

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

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

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

972[warn] | Unreachable case

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

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

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

976[warn] | Unreachable case

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

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

979[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

980[warn] |match may not be exhaustive.

981[warn] |

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

983[warn] |

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

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

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

987[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

988[warn] |match may not be exhaustive.

989[warn] |

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

991[warn] |

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

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

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

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

996[warn] | Unreachable case

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

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

999[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^

1000[warn] | Unreachable case

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

1002[warn] 2492 | ev match {

1003[warn] | ^^

1004[warn] |match may not be exhaustive.

1005[warn] |

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

1007[warn] |

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

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

1010[warn] 2519 | ev match {

1011[warn] | ^^

1012[warn] |match may not be exhaustive.

1013[warn] |

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

1015[warn] |

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

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

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

1019[warn] | ^^^

1020[warn] |match may not be exhaustive.

1021[warn] |

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

1023[warn] |

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

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

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

1027[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1028[warn] |match may not be exhaustive.

1029[warn] |

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

1031[warn] |

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

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

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

1035[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1036[warn] |match may not be exhaustive.

1037[warn] |

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

1039[warn] |

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

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

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

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

1044[warn] | Unreachable case

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

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

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

1048[warn] | Unreachable case

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

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

1051[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1052[warn] |match may not be exhaustive.

1053[warn] |

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

1055[warn] |

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

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

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

1059[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1060[warn] |match may not be exhaustive.

1061[warn] |

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

1063[warn] |

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

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

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

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

1068[warn] | Unreachable case

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

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

1071[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1072[warn] | Unreachable case

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

1074[warn] 2841 | ev match

1075[warn] | ^^

1076[warn] |match may not be exhaustive.

1077[warn] |

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

1079[warn] |

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

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

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

1083[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1084[warn] |match may not be exhaustive.

1085[warn] |

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

1087[warn] |

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

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

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

1091[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1092[warn] |match may not be exhaustive.

1093[warn] |

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

1095[warn] |

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

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

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

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

1100[warn] | Unreachable case

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

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

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

1104[warn] | Unreachable case

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

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

1107[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1108[warn] |match may not be exhaustive.

1109[warn] |

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

1111[warn] |

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

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

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

1115[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1116[warn] |match may not be exhaustive.

1117[warn] |

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

1119[warn] |

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

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

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

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

1124[warn] | Unreachable case

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

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

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

1128[warn] | Unreachable case

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

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

1131[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1132[warn] |match may not be exhaustive.

1133[warn] |

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

1135[warn] |

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

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

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

1139[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

1140[warn] |match may not be exhaustive.

1141[warn] |

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

1143[warn] |

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

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

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

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

1148[warn] | Unreachable case

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

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

1151[warn] | ^^^^^^^^^^^^^^^^^^^^^^^^^^

1152[warn] | Unreachable case

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

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

1155[warn] | ^

1156[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]

1157[warn] |

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

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

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

1161[warn] | ^

1162[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]

1163[warn] |

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

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

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

1167[warn] | ^

1168[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]

1169[warn] |

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

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

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

1173[warn] | ^

1174[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]

1175[warn] |

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

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

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

1179[warn] | ^

1180[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]

1181[warn] |

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

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

1184[warn] 169 warnings found

1185[info] done compiling

1186[info] compiling 49 Scala sources to /build/repo/core/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/classes ...

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

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

1189[warn] | ^

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

1191[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]

1192[warn] |

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

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

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

1196[warn] | ^

1197[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]

1198[warn] |

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

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

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

1202[warn] | ^

1203[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]

1204[warn] |

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

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

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

1208[warn] | ^

1209[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]

1210[warn] |

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

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

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

1214[warn] | ^

1215[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]

1216[warn] |

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

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

1219[warn] 6 warnings found

1220[info] done compiling

1221[info] compiling 15 Scala sources to /build/repo/testing/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/classes ...

1222[info] done compiling

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

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

1225[info] compiling 3 Scala sources to /build/repo/testing-scalatest/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/classes ...

1226[info] done compiling

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

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

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

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

1231[info] compiling 5 Scala sources to /build/repo/stream/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/classes ...

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

1233[warn] one warning found

1234[info] done compiling

1235[info] compiling 1 Scala source to /build/repo/stream/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/test-classes ...

1236[info] done compiling

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

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

1239[info] compiling 3 Scala sources to /build/repo/libretto-zio/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/classes ...

1240[info] done compiling

1241[info] compiling 56 Scala sources to /build/repo/examples/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/classes ...

1242[info] done compiling

1243[info] compiling 2 Scala sources to /build/repo/libretto-zio/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/test-classes ...

1244[info] done compiling

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

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

1247[info] compiling 3 Scala sources to /build/repo/examples/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/test-classes ...

1248[info] done compiling

1249Starting build for ProjectRef(file:/build/repo/,lambdaJVM) (libretto-lambda)... [6/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/lambda/jvm/target/scala-3.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY/test-classes ...

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

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

1254[warn] | ^

1255[warn] |match may not be exhaustive.

1256[warn] |

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

1258[warn] |

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

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

1261[warn] 269 | case AssocRL() => a match { case Pair(a1, Pair(a2, a3)) => Pair(Pair(a1, a2), a3) }

1262[warn] | ^

1263[warn] |match may not be exhaustive.

1264[warn] |

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

1266[warn] |

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

1268[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:270:26

1269[warn] 270 | case Par(f1, f2) => a match { case Pair(a1, a2) => Pair(evaluate(f1)(a1), evaluate(f2)(a2)) }

1270[warn] | ^

1271[warn] | match may not be exhaustive.

1272[warn] |

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

1274[warn] |

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

1276[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:271:21

1277[warn] 271 | case Swap() => a match { case Pair(a1, a2) => Pair(a2, a1) }

1278[warn] | ^

1279[warn] | match may not be exhaustive.

1280[warn] |

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

1282[warn] |

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

1284[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:274:21

1285[warn] 274 | case Prj1() => a match { case Pair(a1, _) => a1 }

1286[warn] | ^

1287[warn] | match may not be exhaustive.

1288[warn] |

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

1290[warn] |

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

1292[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:275:21

1293[warn] 275 | case Prj2() => a match { case Pair(_, a2) => a2 }

1294[warn] | ^

1295[warn] | match may not be exhaustive.

1296[warn] |

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

1298[warn] |

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

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

1301[warn] 277 | case MapVal(f) => a match { case SingleVal(a) => SingleVal(f(a)) }

1302[warn] | ^

1303[warn] | match may not be exhaustive.

1304[warn] |

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

1306[warn] |

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

1308[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:278:25

1309[warn] 278 | case LiftPair() => a match { case SingleVal((a1, a2)) => Pair(SingleVal(a1), SingleVal(a2)) }

1310[warn] | ^

1311[warn] | match may not be exhaustive.

1312[warn] |

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

1314[warn] |

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

1316[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:279:27

1317[warn] 279 | case UnliftPair() => a match { case Pair(SingleVal(a1), SingleVal(a2)) => SingleVal((a1, a2)) }

1318[warn] | ^

1319[warn] |match may not be exhaustive.

1320[warn] |

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

1322[warn] |

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

1324[warn] -- [E029] Pattern Match Exhaustivity Warning: /build/repo/lambda/shared/src/test/scala/libretto/lambda/Fun.scala:265:4

1325[warn] 265 | f match

1326[warn] | ^

1327[warn] |match may not be exhaustive.

1328[warn] |

1329[warn] |It would fail on pattern case: InjectL(), InjectR(), HandleEither(_, _), DistributeL()

1330[warn] |

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

1332[warn] 10 warnings found

1333[info] done compiling

1334

1335************************

1336Build summary:

1337[{

1338 "module": "libretto-testing",

1339 "compile": {"status": "ok", "tookMs": 65278, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1340 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1341 "test-compile": {"status": "ok", "tookMs": 262, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1342 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1343 "publish": {"status": "skipped", "tookMs": 0},

1344 "metadata": {

1345 "crossScalaVersions": ["3.7.4"]

1346}

1347},{

1348 "module": "libretto-testing-scalatest",

1349 "compile": {"status": "ok", "tookMs": 1224, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1350 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1351 "test-compile": {"status": "ok", "tookMs": 409, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1352 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1353 "publish": {"status": "skipped", "tookMs": 0},

1354 "metadata": {

1355 "crossScalaVersions": ["3.7.4"]

1356}

1357},{

1358 "module": "libretto-core",

1359 "compile": {"status": "ok", "tookMs": 132, "warnings": 5, "errors": 0, "sourceVersion": "3.8"},

1360 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1361 "test-compile": {"status": "ok", "tookMs": 176, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1362 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1363 "publish": {"status": "skipped", "tookMs": 0},

1364 "metadata": {

1365 "crossScalaVersions": ["3.7.4"]

1366}

1367},{

1368 "module": "libretto-stream",

1369 "compile": {"status": "ok", "tookMs": 3117, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1370 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1371 "test-compile": {"status": "ok", "tookMs": 1636, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1372 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1373 "publish": {"status": "skipped", "tookMs": 0},

1374 "metadata": {

1375 "crossScalaVersions": ["3.7.4"]

1376}

1377},{

1378 "module": "libretto-zio",

1379 "compile": {"status": "ok", "tookMs": 967, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1380 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1381 "test-compile": {"status": "ok", "tookMs": 6552, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1382 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1383 "publish": {"status": "skipped", "tookMs": 0},

1384 "metadata": {

1385 "crossScalaVersions": ["3.7.4"]

1386}

1387},{

1388 "module": "libretto-examples",

1389 "compile": {"status": "ok", "tookMs": 219, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1390 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1391 "test-compile": {"status": "ok", "tookMs": 909, "warnings": 0, "errors": 0, "sourceVersion": "3.8"},

1392 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1393 "publish": {"status": "skipped", "tookMs": 0},

1394 "metadata": {

1395 "crossScalaVersions": ["3.7.4"]

1396}

1397},{

1398 "module": "libretto-lambda",

1399 "compile": {"status": "ok", "tookMs": 57, "warnings": 167, "errors": 0, "sourceVersion": "3.8"},

1400 "doc": {"status": "skipped", "tookMs": 0, "files": 0, "totalSizeKb": 0},

1401 "test-compile": {"status": "ok", "tookMs": 1732, "warnings": 10, "errors": 0, "sourceVersion": "3.8"},

1402 "test": {"status": "skipped", "tookMs": 0, "passed": 0, "failed": 0, "ignored": 0, "skipped": 0, "total": 0, "byFramework": []},

1403 "publish": {"status": "skipped", "tookMs": 0},

1404 "metadata": {

1405 "crossScalaVersions": ["3.7.4"]

1406}

1407}]

1408************************

1409[success] Total time: 102 s (0:01:42.0), completed Dec 6, 2025, 12:43:38 AM

1410[0JChecking patch project/plugins.sbt...

1411Checking patch build.sbt...

1412Applied patch project/plugins.sbt cleanly.

1413Applied patch build.sbt cleanly.

Build Logs