No need for a duplicate "mismatching types" message
Function pointers are explicitly convertible
Tenative arrays are allowed in type-checking