macro_rules! type_check{

($vm:ident, $arg:expr, $arg_count: expr, $arg_name:ident, $arg_type:expr) =>{

($vm:ident, $args:ident, $arg_count:ident, $arg_name:ident, $arg_type:expr) =>{

ifletSome(expected_type) = $arg_type{

if !$crate::obj::objtype::isinstance($arg,&expected_type){

let arg_typ = $arg.typ();

let arg =&$args.args[$arg_count];

if !$crate::obj::objtype::isinstance(arg,&expected_type){

let arg_typ = arg.typ();

let expected_type_name = $vm.to_pystr(&expected_type)?;

let actual_type = $vm.to_pystr(&arg_typ)?;

returnErr($vm.new_type_error(format!(

$(

type_check!($vm,&$args.args[arg_count], arg_count, $arg_name, $arg_type);

type_check!($vm, $args, arg_count, $arg_name, $arg_type);

let $arg_name =&$args.args[arg_count];

#[allow(unused_assignments)]

$(

let len = $args.args.len();

let klen = $args.kwargs.len();

let $optional_arg_name =if arg_count >= len &&(arg_count - len) < $args.kwargs.len(){

let idx = klen -(arg_count-len) -1;

type_check!($vm,&$args.kwargs[idx].1, arg_count-len, $optional_arg_name, $optional_arg_type);

let kwarg =&$args.kwargs[idx];

if&kwarg.0 == stringify!($optional_arg_name){

#[allow(unused_assignments)]

arg_count +=1;

Some(&kwarg.1)

} else{

let $optional_arg_name =if arg_count < $args.args.len(){

type_check!($vm, $args, arg_count, $optional_arg_name, $optional_arg_type);

let ret =Some(&$args.args[arg_count]);

#[allow(unused_assignments)]

arg_count +=1;

ret

} else{