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