Function convert_args_for_result

pub fn convert_args_for_result<'db>(
    interner: DbInterner<'db>,
    args: &[GenericArg<'db>],
) -> Substitution<Interner>