Function generic_args_from_tys 

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