pub fn thorough_implied_end(p: ExpandedName<'_>) -> bool