. . "Cyclone supports subtyping between pointer types in precisely the cases where it is statically safe." . .