{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"in_elem"}]}
            in_elem == out_ty,
        require!(
            InvalidMonomorphization::ReturnElement { span, name, in_elem, in_ty, ret_ty, out_ty }