A question about view bounds

Hi scala-user (this is my first post, be gentle :-),

Is there any way to do something like the following? If it makes any
difference, I'm not particularly tied to the syntax in Foo, but changing the
inheritance hierarchy of A/B/C would be painful :-)

class A
class B extends A
class C(val attribute: Int) extends A

class Foo[B <: A]
{
def method[X <: A <% { val attribute: Int }](x: X) =
"Has 'attribute': " + x.attribute.toString

def method(a: A) =
"No 'attribute'"
}

val foo = new Foo
println(foo.method(new B)) // No 'attribute'
println(foo.method(new C(0))) // Has 'attribute': 0

Thanks in advance!

\t