Branch data Line data Source code
1 : : // Copyright (C) 2020-2025 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_TYTY_CALL
20 : : #define RUST_TYTY_CALL
21 : :
22 : : #include "rust-diagnostics.h"
23 : : #include "rust-hir-full.h"
24 : : #include "rust-tyty-visitor.h"
25 : : #include "rust-tyty.h"
26 : : #include "rust-hir-type-check.h"
27 : :
28 : : namespace Rust {
29 : : namespace TyTy {
30 : :
31 : : class TypeCheckCallExpr : private TyVisitor
32 : : {
33 : : public:
34 : 9954 : static BaseType *go (BaseType *ref, HIR::CallExpr &call,
35 : : TyTy::VariantDef &variant,
36 : : Resolver::TypeCheckContext *context)
37 : : {
38 : 9954 : TypeCheckCallExpr checker (call, variant, context);
39 : 9954 : ref->accept_vis (checker);
40 : 9954 : return checker.resolved;
41 : : }
42 : :
43 : 0 : void visit (InferType &) override { rust_unreachable (); }
44 : 0 : void visit (TupleType &) override { rust_unreachable (); }
45 : 0 : void visit (ArrayType &) override { rust_unreachable (); }
46 : 0 : void visit (SliceType &) override { rust_unreachable (); }
47 : 0 : void visit (BoolType &) override { rust_unreachable (); }
48 : 0 : void visit (IntType &) override { rust_unreachable (); }
49 : 0 : void visit (UintType &) override { rust_unreachable (); }
50 : 0 : void visit (FloatType &) override { rust_unreachable (); }
51 : 0 : void visit (USizeType &) override { rust_unreachable (); }
52 : 0 : void visit (ISizeType &) override { rust_unreachable (); }
53 : 0 : void visit (ErrorType &) override { rust_unreachable (); }
54 : 0 : void visit (CharType &) override { rust_unreachable (); }
55 : 0 : void visit (ReferenceType &) override { rust_unreachable (); }
56 : 0 : void visit (PointerType &) override { rust_unreachable (); }
57 : 0 : void visit (ParamType &) override { rust_unreachable (); }
58 : 0 : void visit (StrType &) override { rust_unreachable (); }
59 : 0 : void visit (NeverType &) override { rust_unreachable (); }
60 : 0 : void visit (PlaceholderType &) override { rust_unreachable (); }
61 : 0 : void visit (ProjectionType &) override { rust_unreachable (); }
62 : 0 : void visit (DynamicObjectType &) override { rust_unreachable (); }
63 : 0 : void visit (ClosureType &type) override { rust_unreachable (); }
64 : 0 : void visit (OpaqueType &type) override { rust_unreachable (); }
65 : :
66 : : // tuple-structs
67 : : void visit (ADTType &type) override;
68 : :
69 : : // call fns
70 : : void visit (FnType &type) override;
71 : : void visit (FnPtr &type) override;
72 : :
73 : : private:
74 : 9954 : TypeCheckCallExpr (HIR::CallExpr &c, TyTy::VariantDef &variant,
75 : : Resolver::TypeCheckContext *context)
76 : 9954 : : resolved (new TyTy::ErrorType (c.get_mappings ().get_hirid ())), call (c),
77 : 19908 : variant (variant), mappings (Analysis::Mappings::get ())
78 : 9954 : {}
79 : :
80 : : BaseType *resolved;
81 : : HIR::CallExpr &call;
82 : : TyTy::VariantDef &variant;
83 : : Analysis::Mappings &mappings;
84 : : };
85 : :
86 : : class Argument
87 : : {
88 : : public:
89 : 782 : Argument (Analysis::NodeMapping mapping, BaseType *argument_type,
90 : : location_t locus)
91 : 782 : : mapping (mapping), argument_type (argument_type), locus (locus)
92 : : {}
93 : :
94 : 782 : location_t get_locus () const { return locus; }
95 : :
96 : 782 : BaseType *get_argument_type () { return argument_type; }
97 : :
98 : 782 : Analysis::NodeMapping get_mappings () const { return mapping; }
99 : :
100 : : private:
101 : : Analysis::NodeMapping mapping;
102 : : BaseType *argument_type;
103 : : location_t locus;
104 : : };
105 : :
106 : : class TypeCheckMethodCallExpr
107 : : {
108 : : public:
109 : : static BaseType *go (FnType *ref, HIR::MethodCallExpr &call,
110 : : TyTy::BaseType *adjusted_self,
111 : : Resolver::TypeCheckContext *context);
112 : :
113 : : static BaseType *go (FnType *ref, Analysis::NodeMapping call_mappings,
114 : : std::vector<Argument> &args, location_t call_locus,
115 : : location_t receiver_locus, TyTy::BaseType *adjusted_self,
116 : : Resolver::TypeCheckContext *context);
117 : :
118 : : protected:
119 : : BaseType *check (FnType &type);
120 : :
121 : : TypeCheckMethodCallExpr (Analysis::NodeMapping call_mappings,
122 : : std::vector<Argument> &args, location_t call_locus,
123 : : location_t receiver_locus,
124 : : TyTy::BaseType *adjusted_self,
125 : : Resolver::TypeCheckContext *context);
126 : :
127 : : Analysis::NodeMapping call_mappings;
128 : : std::vector<Argument> &arguments;
129 : : location_t call_locus;
130 : : location_t receiver_locus;
131 : : TyTy::BaseType *adjusted_self;
132 : : Resolver::TypeCheckContext *context;
133 : : Analysis::Mappings &mappings;
134 : : };
135 : :
136 : : } // namespace TyTy
137 : : } // namespace Rust
138 : :
139 : : #endif // RUST_TYTY_CALL
|
