fn from_impl_exists( strukt: &Struct, main_field_i: usize, sema: &Semantics<'_, RootDatabase>, ) -> Option<()>