example demonstrating that subtrait methods can refer to supertrait methods

[tshepang]

It would be nice to have an example for the following sentence (source):

In an implementation of Circle for a given type T, methods can refer to Shape methods, since the typechecker checks that any type with an implementation of Circle also has an implementation of Shape.