Ruby's official type-signature system (`.rbs` files). Suggested by an audience member in the Testing Randomness Q&A as a way to keep a fake implementation's return types consistent with the real class's: if RBS signatures are integrated into RSpec, type mismatches between fake and production classes are caught automatically. Rodzik had not used RBS that way but found the idea interesting.