1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
/*
* MRustC - Mutabah's Rust Compiler
* - By John Hodge (Mutabah/thePowersGang)
*
* hir_typeck/impl_ref.hpp
* - Reference to a specific impl block (or the concept of one)
*/
#pragma once
#include <hir/type.hpp>
#include <hir/hir.hpp>
namespace HIR {
class TraitImpl;
}
struct ImplRef
{
TAGGED_UNION(Data, TraitImpl,
(TraitImpl, struct {
::std::vector<const ::HIR::TypeRef*> params;
::std::vector<::HIR::TypeRef> params_ph;
const ::HIR::SimplePath* trait_path;
const ::HIR::TraitImpl* impl;
mutable ::HIR::TypeRef self_cache;
}),
(BoundedPtr, struct {
const ::HIR::TypeRef* type;
const ::HIR::PathParams* trait_args;
const ::std::map< RcString, ::HIR::TypeRef>* assoc;
}),
(Bounded, struct {
::HIR::TypeRef type;
::HIR::PathParams trait_args;
::std::map< RcString, ::HIR::TypeRef> assoc;
})
);
Data m_data;
ImplRef():
m_data(Data::make_TraitImpl({ {}, {}, nullptr, nullptr }))
{}
ImplRef(::std::vector<const ::HIR::TypeRef*> params, const ::HIR::SimplePath& trait, const ::HIR::TraitImpl& impl, ::std::vector< ::HIR::TypeRef> params_ph={}):
m_data(Data::make_TraitImpl({ mv$(params), mv$(params_ph), &trait, &impl }))
{}
ImplRef(const ::HIR::TypeRef* type, const ::HIR::PathParams* args, const ::std::map< RcString, ::HIR::TypeRef>* assoc):
m_data(Data::make_BoundedPtr({ type, mv$(args), mv$(assoc) }))
{}
ImplRef(::HIR::TypeRef type, ::HIR::PathParams args, ::std::map< RcString, ::HIR::TypeRef> assoc):
m_data(Data::make_Bounded({ mv$(type), mv$(args), mv$(assoc) }))
{}
bool is_valid() const {
return !(m_data.is_TraitImpl() && m_data.as_TraitImpl().impl == nullptr);
}
bool more_specific_than(const ImplRef& other) const;
bool overlaps_with(const ::HIR::Crate& crate, const ImplRef& other) const;
bool has_magic_params() const;
/// HELPER: Returns callback to monomorphise a type using parameters from Data::TraitImpl
::std::function<const ::HIR::TypeRef&(const ::HIR::TypeRef&)> get_cb_monomorph_traitimpl(const Span& sp) const;
::HIR::TypeRef get_impl_type() const;
::HIR::PathParams get_trait_params() const;
::HIR::TypeRef get_trait_ty_param(unsigned int) const;
bool type_is_specialisable(const char* name) const;
::HIR::TypeRef get_type(const char* name) const;
friend ::std::ostream& operator<<(::std::ostream& os, const ImplRef& x);
};
|
