Some tests for User. compiles.