Moving the rest of the tests to test.rs.
This is the only part that exposes the type inference bug.