I have a scenario where I have a list of objects of a certain trait. And I know for certain that the list will not contain certain implementations of the trait:
s
