We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d29a4a8 commit ee091caCopy full SHA for ee091ca
tests/pos/i20342.scala
@@ -0,0 +1,15 @@
1
+class Repo[EC, E](using defaults: RepoDefaults[EC, E])
2
+trait RepoDefaults[EC, E]
3
+object RepoDefaults:
4
+ inline given genImmutableRepo[E: DbCodec]: RepoDefaults[E, E] = ???
5
+ inline given genRepo[EC: DbCodec, E: DbCodec]: RepoDefaults[EC, E] = ???
6
+
7
+trait DbCodec[E]
8
9
+case class PersonCreator(name: String)
10
+case class Person(id: Long)
11
+given DbCodec[Person] = ???
12
+given DbCodec[PersonCreator] = ???
13
14
+@main def Test =
15
+ val personRepo = Repo[PersonCreator, Person]
0 commit comments