Can you tell me what kind of contracts can be checked compile time? (I assume you did not just mean types asserts.) What I've read about Eiffel on many sites i

Can you tell me what kind of contracts can be checked compile time? (I assume you did not just mean types asserts.) What I've read about Eiffel on many sites is only runtime check (on more advanced constraints).