Macro ensure_phys_ty 

macro_rules! ensure_phys_ty {
    ($($ty:pat_param)|+ , $err: literal) => { ... };
}

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