Test type_check y test failure