typechecker: interaction of interface req + trait req + inheritance

Summary: ... very subtle bug with the visibility of protected methods
 inside traits when the relevant requirements go through an interface.

Reviewed By: @jwatzman

Differential Revision: D1428536