"error overriding method" error when compiling JOOQ generated model

[scf37]

Compiler version

3.2.0+

before 3.2.0 - fails with "bad constant pool", fixed in 3.2.0

Minimized code

libraryDependencies += ("org.jooq" %% "jooq-scala" % "3.17.7").cross(CrossVersion.for3Use2_13)

import org.jooq.Field
import org.jooq.Record1
import org.jooq.Record6
import org.jooq.Row6
import org.jooq.impl.UpdatableRecordImpl

class ChatRecord extends UpdatableRecordImpl[ChatRecord](null) with Record6[Long, Long, Long, Boolean, Long, Long] {}

Scastie link: https://scastie.scala-lang.org/3ioAIaRaQJ282KS69KugxA

Output

error overriding method fieldsRow in trait Record6 of type (): org.jooq.Row6[Long, Long, Long, Boolean, Long, Long];
  method fieldsRow in class AbstractQualifiedRecord of type (): org.jooq.Row has incompatible type;
other members with override errors are:: method valuesRow, method with, method original

Expectation

Successful compilation

[SethTisue]

Is the problem reproducible without involving an external dependency?

[scf37]

I tried to reproduce it by building similar hierarchy and overrides in Scala, unsuccessfully. Seems to be Java-related.

[SethTisue]

The compiler does need to treat Java-defined things specially in some respects, so it's a possible a minimal reproducer would need to include a Java source file as well as a Scala one.

[SethTisue]

Perhaps this is a scala.Long vs java.lang.Long, scala.Boolean vs java.lang.Boolean thing?

[scf37]

Nope.

new UpdatableRecordImpl[Nothing](null) {} // error
new UpdatableRecordImpl[Nothing](null)  // okay

[SethTisue]

Scala 2.13.10 gives a very similar looking error on the same code

[error] ./S.scala:7:1: incompatible type in overriding
[error] def fieldsRow(): org.jooq.Row6[Long,Long,Long,Boolean,Long,Long] (defined in trait Record6)
[error]   with def fieldsRow(): org.jooq.Row (defined in class AbstractQualifiedRecord);
[error]  found   : (): org.jooq.Row
[error]  required: (): org.jooq.Row6[Long,Long,Long,Boolean,Long,Long];
[error]  other members with override errors are: valuesRow
[error] class ChatRecord extends UpdatableRecordImpl[ChatRecord](null) with Record6[Long, Long, Long, Boolean, Long, Long] {}

I don't think you've made a case that there is a Scala bug here. (Perhaps there is? It remains to be seen.)

Do you definitely believe there is a Scala bug here, and you believe you can substantiate that? Or did you just get an error message you don't really understand and you came to the bug tracker hoping for help...?

[SethTisue]

self-contained (except for the external dependency) reproducer using scala-cli:

//> using scala "2.13.10"
//> using lib "org.jooq:jooq-scala_2.13:3.17.8"

import org.jooq.Record6
import org.jooq.impl.UpdatableRecordImpl

class ChatRecord extends UpdatableRecordImpl[ChatRecord](null)
  with Record6[Long, Long, Long, Boolean, Long, Long] {}

[scf37]

Do you definitely believe there is a Scala bug

Well, real JOOQ generated code compiles well on 2.x (including 2.13). Looking at the message, there is a problem in how scalac typechecks compiled Java bytecode. I believe java bytecode is correct since JOOQ is a popular project having 5.3k stars on github.

Since they do not support scala3 directly yet jOOQ/jOOQ#12180 AND generated code needs some fixes before getting stuck on that error I think I'd give up on integrating JOOQ in scala3 project for now.

Attached is sbt project which compiles on 2.3.10 but fails on 3.2.2

jooq-test.tar.gz

[SethTisue]

I think I'd give up on integrating JOOQ in scala3 project for now

Okay. I'm closing this ticket, then, since we don't have solid evidence here that there is a bug in Scala 3. (We do have some circumstantial evidence that there could be...)

Perhaps someone else trying to make JOOQ work with Scala 3 will find this ticket and have additional insight or volunteer to find a self-contained reproducer and/or attempt to characterize the specific nature of the possible bug.