// declare that foo takes anything with a close method
scala> def foo(closeable : {def close}) = closeable.close
foo: (AnyRef{def close: Unit})Unit

// declare that bar takes a String and will call foo on it
scala> def bar(x : String) = foo(x)
<console>:5: error: type mismatch;
 found   : String
 required: AnyRef{def close: Unit}
       def bar(x : String) = foo(x)
                                 ^

interface C {
  Object x();
}

// in some method somewhere this works
C z = new C() {
    public String x() {return "hello";};
    public String y() {return "goodbye";};
};

// but this does not - type error, cannot convert from Object to String
String aString = z.x();

// nor does this work - y isn't defined on type C
String bString = z.y();

// this works just fine
String aString = new C() {
  public String x() {return "hello";};
  public String y() {return "goodbye";};
}.x();

// as does this
String bString = new C() {
  public String x() {return "hello";};
  public String y() {return "goodbye";};
}.y();

scala> trait C { def x : AnyRef }
defined trait C

scala> val z : C { def x : String; def y : String} = new C {
     | def x : String = "hello"
     | def y : String = "goodbye"
     | }


scala> val aString : String = z.x
aString: String = hello

scala> val bString : String = z.y

scala> val z = new C {
     | def x : String = "hello"
     | def y : String = "goodbye"
     | }
z: java.lang.Object with C{def x: String; def y: String} = $anon$1@24c22b

scala> val aString = z.x
aString: String = hello

scala> val bString = z.y
bString: String = goodbye