Может ли изменение impl Trait на generic в аргументе функции стать критическим изменением?

Один из случаев, когда это происходит, - это когда вы хотите, чтобы функция принимала два аргумента, оба из которых реализуют некоторую особенность Trait, но вас не волнует, являются ли два аргумента одного и того же типа или нет.

Поскольку, когда вы определяете общий тип T, все виды привязываются к этому же типу. Это приведет к ошибке, поэтому вам нужно быть осторожным при изменении.

Пример

trait Trait {}

fn foo_impl(_: impl Trait, _: impl Trait) {}
fn foo_generic<T: Trait>(_: T, _: T) {}
fn foo_generic_ok<T1: Trait, T2: Trait>(_: T1, _: T2) {}

impl Trait for i32 {}
impl Trait for f32 {}

fn main() {
    foo_impl(1, 1.0);
    foo_generic(1, 1.0); // <-- this will error
    foo_generic_ok(1, 1.0);
}

Сообщение об ошибке

error[E0308]: mismatched types
  --> ****\src/main.rs:12:20
   |
12 |     foo_generic(1, 1.0);
   |     ----------- -  ^^^ expected `i32`, found floating-point number
   |     |           |
   |     |           expected all arguments to be this `i32` type because they need to match the type of this parameter
   |     arguments to this function are incorrect
   |
note: function defined here
  --> ****\src/main.rs:4:4
   |
4  | fn foo_generic<T: Trait>(_: T, _: T) {}
   |    ^^^^^^^^^^^ -         ----  ---- this parameter needs to match the `i32` type of {unknown}
   |                |         |
   |                |         {unknown} needs to match the `i32` type of this parameter
   |                {unknown} and {unknown} all reference this parameter T

For more information about this error, try `rustc --explain E0308`.

Недавно я отредактировал эту часть ссылки, поскольку она устарела. Вы можете увидеть обновление в ночной версии (стабильная версия должна появиться завтра, 5 сентября).

Короче говоря, в версии 1.63.0 добавлена ​​возможность указывать дженерики, когда присутствует impl Trait. Насколько я могу судить, вы правы в том, что это не может быть кардинальным изменением. Начиная с версии 1.63.0, это изменение может стать критическим, если существует хотя бы один универсальный вариант.

Это означает, что ваши примеры 4 и 5 являются критическими изменениями.

use std::fmt::Display;

// before
pub fn foo1<T1: Display>(_: T1, _: impl Display, _: impl Display) {}

// after
pub fn foo2<T1: Display, T2: Display>(_: T1, _: T2, _: impl Display) {}

fn main() {
    foo1::<i32>(1, 2, 3);
    foo2::<i32>(1, 2, 3);
}

error[E0107]: function takes 2 generic arguments but 1 generic argument was supplied
  --> src/main.rs:11:5
   |
11 |     foo2::<i32>(1, 2, 3);
   |     ^^^^   --- supplied 1 generic argument
   |     |
   |     expected 2 generic arguments
   |
note: function defined here, with 2 generic parameters: `T1`, `T2`
  --> src/main.rs:7:8
   |
7  | pub fn foo2<T1: Display, T2: Display>(_: T1, _: T2, _: impl Display) {}
   |        ^^^^ --           --
help: add missing generic argument
   |
11 |     foo2::<i32, _>(1, 2, 3);
   |               +++

For more information about this error, try `rustc --explain E0107`.

Полная версия в ПР №1495.