Besides simple object types and protocol types, are there any types that begin with `@` that could match here?