Forall for T{}
                  
                  
                  struct Foo<T>(T);
                  
                  
                  struct Bar{x: Foo<Box<dyn Forall>>}
                  
                  
                
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Это не значит что оно не нужно)
я и не говорила, что оно не нужно
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Я не говорил что ты говорила с:
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Я в курсе, да)
ну вот да
Ну для dyn Any же даункаст реализован, знач можно как-то)
через ансейф
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Юнит тайп семантически эквивалентен экзистенциальному?
Нет, просто Box<dyn Forall> это не экзистенциальный тип.
Обсуждают сегодня