Skip to content

Commit 08d1386

Browse files
committed
fix(typecheck): 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 635da0e commit 08d1386

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -765,6 +765,12 @@ void
765765
TypeCheckType::visit (HIR::ReferenceType &type)
766766
{
767767
TyTy::BaseType *base = TypeCheckType::Resolve (type.get_base_type ());
768+
if (base->isTyTy::ErrorType ())
769+
{
770+
translated = new TyTy::ErrorType (type.get_mappings ().get_hirid ());
771+
return;
772+
}
773+
768774
rust_assert (type.has_lifetime ());
769775
auto region = context->lookup_and_resolve_lifetime (type.get_lifetime ());
770776
if (!region.has_value ())

0 commit comments

Comments
 (0)