fn impl_def_from_trait(
editor: &SyntaxEditor,
sema: &Semantics<'_, RootDatabase>,
config: &AssistConfig,
adt: &Adt,
annotated_name: &Name,
trait_: Option<Trait>,
trait_path: &Path,
impl_is_unsafe: bool,
) -> Option<Impl>