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