Do Scala type parameter names matter?

JavaTypeParamNamespace.java

public class JavaTypeParamNamespace {
    public static void main(String[] args) {
        // This should compile:
        new MyClassRenamedTypes<Integer>().map(1, new MyArgument<String>("String"));
        // This fails with the error
        // JavaTypeParamNamespace.java:8: <U>map(U,MyArgument<U>) in MyClass<java.lang.Integer> cannot be applied to (int,MyArgument<java.lang.String>)
        new MyClass<Integer>().map(1, new MyArgument<String>("String"));
    }
}

TypeParamNamespace.scala

trait MyTrait[T] {
    def map[U](t: T, u: MyArgument[U]) : MyArgument[U] = u
}

class MyArgument[U](u: U) {}

class MyClass[U] extends MyTrait[U] {}

class MyClassRenamedTypes[U2] extends MyTrait[U2] {}

object MyClass {
    def main(args: Array[String]) {
        new MyClass[Int].map(1, new MyArgument("String"))
        new MyClassRenamedTypes[Int].map(1, new MyArgument("String"))
    }
}

See https://issues.scala-lang.org/browse/SI-6057