Macro ensure_phys_ty 

macro_rules! ensure_phys_ty {
    ($($ty:pat_param)|+ , $($arg:tt)*) => { ... };
}

Macro to reduce repetition in making type assertions on the physical type against T