Passes type checking tests