fn host_for_part<E>(
    element: &E,
    context: &MatchingContext<'_, E::Impl>
) -> Option<E>where
    E: Element,