Function generic_args_from_tys 

pub(crate) fn generic_args_from_tys<'db>(
    interner: DbInterner<'db>,
    def_id: SolverDefId,
    args: impl IntoIterator<Item: Borrow<Type<'db>>>,
) -> (GenericArgs<'db>, TypeOwnerId)