SAM type does not support dependent type

[scabug]

$ scala -Xexperimental
Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_77).
Type in expressions for evaluation. Or try :help.

scala>     trait Container {
     |       type Child
     | 
     |       def child: Child
     |     }
defined trait Container

scala>     trait Sam {
     |       def apply(container: Container): container.Child
     |     }
defined trait Sam

scala>     val sam: Sam = { container: Container => container.child }
<console>:13: error: type mismatch;
 found   : container.Child
 required: container.Child
           val sam: Sam = { container: Container => container.child }
                                                 ^

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-9897?orig=1
Reporter: @Atry
Affected Versions: 2.11.8, 2.12.0-RC1

[scabug]

@SethTisue said:
Is it reproducible in 2.12 as well? (The -Xexperimental stuff in 2.11 is now unmaintained.)

[scabug]

@Atry said:

Welcome to Scala 2.12.0-RC1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_77).
Type in expressions for evaluation. Or try :help.

scala> trait Container {
     |   type Child
     |   def child: Child
     | }
defined trait Container

scala> trait Sam {
     |   def apply(container: Container): container.Child
     | }
defined trait Sam

scala> val sam: Sam = { container: Container => container.child }
<console>:13: error: type mismatch;
 found   : Container => Container#Child
 required: Sam
       val sam: Sam = { container: Container => container.child }
                                             ^

scala> val r: Runnable = { () => }
r: Runnable = $$Lambda$1193/369956118@2c418b3a

[SethTisue]

in more conveniently pastable form,

trait Container {
  type Child
  def child: Child
}
trait Sam {
  def apply(container: Container): container.Child
}
val sam: Sam = { (container: Container) => container.child }

error on 2.12.18:

error: type mismatch;
 found   : Container => Container#Child
 required: Sam

error on 2.13.12:

error: type mismatch;
                found   : container.Child
                required: container.Child

it compiles on Scala 3.3.1