Skip to content

Commit aaad19d

Browse files
committed
fix(typecheck): propagate error type in ReferenceType resolution
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 edb5af3 commit aaad19d

1 file changed

Lines changed: 7 additions & 0 deletions

File tree

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

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

0 commit comments

Comments
 (0)