Type declaration test