did all declaration typechecks