go to implementation should find implementation of all sub types transitively.

go to implementation should find implementation of all sub types transitively. #8135