yes, if it exists as a thing in the object file you can interoperate with it, with a few exceptions, e.g. diamond inheritance

The C preprocessor does not have types.

But things like `struct S *` with no definition of `S` are handled properly.