Check function specification and body return types exactly match

Check function specification and body return types exactly match #3262