two type parameters with the same name

Question

I am wondering why the two type parameters (named \"A\") with the same name (\"A\") is allowed as per the example below. I know this is a POOR naming of type parameters, do

Answer 1

Well I belive at scala we use same rule as in Java basically we are looking for smallest available scope in Java:

class Foo{
   T instance;

   void  T getInstance(){
       return instance
    }
}

Will produce a compilation error since type T declared in generic method getInstance is not the same as parameter type of class Foo. In case of Scala I believe then you write

def checkString[A]

You telling compiler that function behavior will vary upon provided type but it has no connection with parameter class of outer class. Unfortunately I cannot find correct place is Scala spec right now.