Why are you passing all empty vectors here? That doesn't seem right to me. The`method_type_params` and `method_region_params` should be empty, yes, but not the item ones, those should be drawn from `generics`