Learn supertrait associated types when processing traits