manual, still a reference with ~ operator

In the last lines of the chapter of traits, we can read this example :
let mycircle: Circle = ~mycircle as ~Circle;
let nonsense = mycircle.radius() \* mycircle.area();

But i've understand that the ~ operator is obsolete.
Could you please correct it ? Thx
