Trait bounds on Self with generic parameter precludes other uses of that trait on Self

[HactarCE]

I tried this code:

struct S;

trait T<V> {
    fn t(_: V) {}
}

impl T<()> for S {}

impl S {
    fn f1() {
        S::t(())
    }
    
    fn f2<V>()
    where
        Self: T<V>,
    {
        S::t(())
    }
    
    fn f3<V>()
    where
        Self: T<V> + T<()>,
    {
        S::t(())
    }
}

Try it on the Rust Playground

I expected to see this happen: All functions should compile with no error.

Instead, this happened: The following error was produced by rustc:

error[E0308]: mismatched types
  --> src/lib.rs:18:14
   |
14 |     fn f2<V>()
   |           - this type parameter
...
18 |         S::t(())
   |              ^^ expected type parameter `V`, found `()`
   |
   = note: expected type parameter `V`
                   found unit type `()`

Meta

rustc --version --verbose:

rustc 1.56.0 (09c42c458 2021-10-18)
binary: rustc
commit-hash: 09c42c45858d5f3aedfa670698275303a3d19afa
commit-date: 2021-10-18
host: x86_64-pc-windows-msvc
release: 1.56.0
LLVM version: 13.0.0

This bug also occurs on the nightly and stable versions on the playground.

Coming up with a title for this issue was really tricky; if anyone can come up with a better one, please replace it.

[fmease]

Closing as duplicate of #24066. If you disagree with my assessment I will of course reopen this issue.