pub trait Point3Ext { // Required method fn to_array(&self) -> [Real; 3]; // Provided method fn as_vec3(&self) -> Vec3 { ... } }