Function definition isn't typechecked against the body's return type

```c
typedef struct {

} S;

int main() {
S s;
return s;
}
```

Should generate a type error on the return statement but this compiler happily compiles the program.