Никак, это один и тот же тип
 Aleksandr
                          Antonov
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Aleksandr
                          Antonov
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Я хочу запретить возможность складывать между собой переменные разных логических типов, таких как скорость и расстояние, имеющих общий числовой тип.
 Aleksandr
                          Antonov
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Aleksandr
                          Antonov
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Через оператор type?
https://doc.rust-lang.org/rust-by-example/generics/new_types.html
type просто даёт другое имя уже существующему типу. Он не создаёт новых типов
Обсуждают сегодня