Test that inheritance does not affect signatures

[bishabosha]

For example def foo(t: T): T in Foo where T refers to a class type parameter T <: Any that is concrete as e.g. String in a subclass Bar.

Use site:
(bar: Bar).foo("abc")

[bishabosha]

Also determine that SELECTin describes the exclusive symbol that defined the method