path: root/tests/pos/t2082.scala

trait Mapper[T <: Mapper[T]]

trait KeyedMapper[KeyType, T <: KeyedMapper[KeyType, T]] extends Mapper[T]


trait KeyedMetaMapper[KeyType, T <: KeyedMapper[KeyType, T]]

trait MappedForeignKey[KeyType, Owner <: Mapper[Owner], Other <: KeyedMapper[KeyType, Other]]

trait IdPK

class TestSubject extends KeyedMapper[Long, TestSubject] with IdPK

class TestRun extends KeyedMapper[Long, TestRun] with IdPK {
    object testSubject extends MappedForeignKey[Long, TestRun, TestSubject]
}

object TestRun extends TestRun with KeyedMetaMapper[Long, TestRun]

class MetaTestSubject extends TestSubject with KeyedMetaMapper[Long, TestSubject]
object TestSubject extends MetaTestSubject

object Main {

  def oneToOneJoin[PType <: KeyedMapper[Long, PType] with IdPK,
                   CType <: KeyedMapper[Long, CType] with IdPK,
                   CMetaType <: CType with KeyedMetaMapper[Long, CType],
                   FKType <: MappedForeignKey[Long, PType, CType]]
  (parents: List[PType], metaMapper: CMetaType, keyGetter: (PType) => FKType ):
  Map[Long, CType] = Map.empty

  def callIt: Unit = {
    oneToOneJoin[TestRun, TestSubject, MetaTestSubject,
                 MappedForeignKey[Long, TestRun, TestSubject]](
    List(), TestSubject, (tr: TestRun) => tr.testSubject)
  }

}