Skip to content

Commit dfcb606

Browse files
committed
fix: propagate error in ReferenceType
gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit): propagate error type in ReferenceType resolution Signed-off-by: vibhatsu <maulikbarot2915@gmail.com>
1 parent 1c09b26 commit dfcb606

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

gcc/rust/typecheck/rust-hir-type-check-type.cc

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -769,6 +769,12 @@ void
769769
TypeCheckType::visit (HIR::ReferenceType &type)
770770
{
771771
TyTy::BaseType *base = TypeCheckType::Resolve (type.get_base_type ());
772+
if (base->is<TyTy::ErrorType> ())
773+
{
774+
translated = new TyTy::ErrorType (type.get_mappings ().get_hirid ());
775+
return;
776+
}
777+
772778
rust_assert (type.has_lifetime ());
773779
auto region = context->lookup_and_resolve_lifetime (type.get_lifetime ());
774780
if (!region.has_value ())

0 commit comments

Comments
 (0)