Function existing_default_impl 

fn existing_default_impl(
    sema: &Semantics<'_, RootDatabase>,
    variant: &Variant,
) -> Option<()>