chromium/v8/src/torque/type-inference.cc

// Copyright 2019 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include "src/torque/type-inference.h"

#include <optional>

namespace v8::internal::torque {

TypeArgumentInference::TypeArgumentInference(
    const GenericParameters& type_parameters,
    const TypeVector& explicit_type_arguments,
    const std::vector<TypeExpression*>& term_parameters,
    const std::vector<std::optional<const Type*>>& term_argument_types)
    : … { … }

TypeVector TypeArgumentInference::GetResult() const { … }

void TypeArgumentInference::Match(TypeExpression* parameter,
                                  const Type* argument_type) { … }

void TypeArgumentInference::MatchGeneric(BasicTypeExpression* parameter,
                                         const Type* argument_type) { … }

}  // namespace v8::internal::torque