gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit):
return so we dont hit undefined behaviour
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
TypeCheckPattern::visit (HIR::ReferencePattern &pattern)
{
if (parent->get_kind () != TyTy::TypeKind::REF)
- rust_error_at (pattern.get_locus (), "expected %s, found reference",
- parent->as_string ().c_str ());
+ {
+ rust_error_at (pattern.get_locus (), "expected %s, found reference",
+ parent->as_string ().c_str ());
+ return;
+ }
TyTy::ReferenceType *ref_ty_ty = static_cast<TyTy::ReferenceType *> (parent);
TyTy::BaseType *infered_base