That is more related (not the same) to Java/C# Generics than Interfaces. That is, it is resolved at compilation time and not at run-time as these that you cite

That is more related (not the same) to Java/C# Generics than Interfaces. That is, it is resolved at compilation time and not at run-time as these that you cited except for some cases in Rust where Traits can be both run-time or compile-time depending on how you use them. For decades C++ has the equivalent of these, it is called virtual pure classes (we may even consider virtual in general).