1  // Copyright (C) 2020-2023 Free Software Foundation, Inc.
       2  
       3  // This file is part of GCC.
       4  
       5  // GCC is free software; you can redistribute it and/or modify it under
       6  // the terms of the GNU General Public License as published by the Free
       7  // Software Foundation; either version 3, or (at your option) any later
       8  // version.
       9  
      10  // GCC is distributed in the hope that it will be useful, but WITHOUT ANY
      11  // WARRANTY; without even the implied warranty of MERCHANTABILITY or
      12  // FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
      13  // for more details.
      14  
      15  // You should have received a copy of the GNU General Public License
      16  // along with GCC; see the file COPYING3.  If not see
      17  // <http://www.gnu.org/licenses/>.
      18  
      19  #ifndef RUST_HIR_TYPE_CHECK_BASE
      20  #define RUST_HIR_TYPE_CHECK_BASE
      21  
      22  #include "rust-diagnostics.h"
      23  #include "rust-hir-type-check.h"
      24  #include "rust-name-resolver.h"
      25  #include "rust-hir-visitor.h"
      26  #include "rust-hir-map.h"
      27  
      28  namespace Rust {
      29  namespace Resolver {
      30  
      31  class TraitReference;
      32  class TypeCheckBase
      33  {
      34  public:
      35    virtual ~TypeCheckBase () {}
      36  
      37    static TyTy::BaseType *unify_site (HirId id, TyTy::TyWithLocation lhs,
      38  				     TyTy::TyWithLocation rhs,
      39  				     Location unify_locus);
      40  
      41    static TyTy::BaseType *coercion_site (HirId id, TyTy::TyWithLocation lhs,
      42  					TyTy::TyWithLocation rhs,
      43  					Location coercion_locus);
      44  
      45    static TyTy::BaseType *cast_site (HirId id, TyTy::TyWithLocation from,
      46  				    TyTy::TyWithLocation to,
      47  				    Location cast_locus);
      48  
      49  protected:
      50    TypeCheckBase ();
      51  
      52    TraitReference *resolve_trait_path (HIR::TypePath &);
      53  
      54    TyTy::TypeBoundPredicate get_predicate_from_bound (HIR::TypePath &path);
      55  
      56    bool check_for_unconstrained (
      57      const std::vector<TyTy::SubstitutionParamMapping> &params_to_constrain,
      58      const TyTy::SubstitutionArgumentMappings &constraint_a,
      59      const TyTy::SubstitutionArgumentMappings &constraint_b,
      60      const TyTy::BaseType *reference);
      61  
      62    TyTy::BaseType *resolve_literal (const Analysis::NodeMapping &mappings,
      63  				   HIR::Literal &literal, Location locus);
      64  
      65    TyTy::ADTType::ReprOptions parse_repr_options (const AST::AttrVec &attrs,
      66  						 Location locus);
      67  
      68    void resolve_generic_params (
      69      const std::vector<std::unique_ptr<HIR::GenericParam>> &generic_params,
      70      std::vector<TyTy::SubstitutionParamMapping> &substitutions);
      71  
      72    Analysis::Mappings *mappings;
      73    Resolver *resolver;
      74    TypeCheckContext *context;
      75  };
      76  
      77  } // namespace Resolver
      78  } // namespace Rust
      79  
      80  #endif // RUST_HIR_TYPE_CHECK_BASE