abstract class M
{ self =>

    type T
    final type selfType = M {type T = self.T}
    type actualSelfType >: self.type <: selfType


    def f[U](x: Any) = {}

    // compiles successfully
    f[Int](self: actualSelfType)

    f[Int](self: selfType)
/*
: error: type mismatch;
 found   : M
 required: M.this.selfType
NO_LINE
one error found
*/


    // def g(x: Any) = {}
    // g(self: selfType)
/*
Test.scala:25: error: type mismatch;
 found   : M
 required: M.this.selfType
    g(self: selfType)
     ^
one error found
*/
}