* module/mescc/compile.scm (init-declr->info): Do not attempt to re-calculate function type. (ftn-declr:get-type): Remove. * lib/tests/scaffold/70-function-destruct-declare.c: New file. * build-aux/check-mescc.sh (TESTS): Add it.