diff options
| author | goar5670 <mahadelr19@gmail.com> | 2023-03-07 01:25:39 +0300 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2023-03-08 10:26:22 +0000 |
| commit | 5bd4b19068c8ab8b8324fd3b8f20c4c3cb5cd277 (patch) | |
| tree | 033c8c7314684f62bd1d5e0f19ef5284311e1e73 /gcc/rust/hir | |
| parent | 1a33a5cf6b3c04500ecda83116e36b6021f98796 (diff) | |
| download | gcc-5bd4b19068c8ab8b8324fd3b8f20c4c3cb5cd277.zip gcc-5bd4b19068c8ab8b8324fd3b8f20c4c3cb5cd277.tar.gz gcc-5bd4b19068c8ab8b8324fd3b8f20c4c3cb5cd277.tar.bz2 | |
typecheck: Add basic typechecking for ReferenceType
gcc/rust/ChangeLog:
* hir/tree/rust-hir-pattern.h (HIR::ReferencePattern):
added get_referenced_pattern function.
* resolve/rust-ast-resolve-pattern.h
(Resolve::PatternDeclaration): add visit function for
AST::ReferencePattern
* typecheck/rust-hir-type-check-pattern.cc
(Resolver::TypeCheckPattern): add visit function for
HIR::ReferencePattern
gcc/testsuite/ChangeLog:
* rust/compile/ref_pattern_fn_param.rs: New test.
Signed-off-by: Mahmoud Mohamed <mahadelr19@gmail.com>
Diffstat (limited to 'gcc/rust/hir')
| -rw-r--r-- | gcc/rust/hir/tree/rust-hir-pattern.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/rust/hir/tree/rust-hir-pattern.h b/gcc/rust/hir/tree/rust-hir-pattern.h index 69faed1..63725fa 100644 --- a/gcc/rust/hir/tree/rust-hir-pattern.h +++ b/gcc/rust/hir/tree/rust-hir-pattern.h @@ -477,6 +477,12 @@ public: return PatternType::REFERENCE; } + std::unique_ptr<Pattern> &get_referenced_pattern () + { + rust_assert (pattern != nullptr); + return pattern; + } + protected: /* Use covariance to implement clone function as returning this object rather * than base */ |