Skip to content

Commit 588b5f1

Browse files
powerboat9philberty
authored andcommitted
Replace gcc_unreachable with rust_sorry_at
gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): Improve error messages. Signed-off-by: Owen Avery <[email protected]>
1 parent 0cf0a7b commit 588b5f1

File tree

1 file changed

+9
-9
lines changed

1 file changed

+9
-9
lines changed

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

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -387,24 +387,24 @@ TypeCheckPattern::visit (HIR::IdentifierPattern &)
387387
}
388388

389389
void
390-
TypeCheckPattern::visit (HIR::QualifiedPathInExpression &)
390+
TypeCheckPattern::visit (HIR::QualifiedPathInExpression &pattern)
391391
{
392-
// TODO
393-
gcc_unreachable ();
392+
rust_sorry_at (pattern.get_locus (),
393+
"type checking qualified path patterns not supported");
394394
}
395395

396396
void
397-
TypeCheckPattern::visit (HIR::ReferencePattern &)
397+
TypeCheckPattern::visit (HIR::ReferencePattern &pattern)
398398
{
399-
// TODO
400-
gcc_unreachable ();
399+
rust_sorry_at (pattern.get_locus (),
400+
"type checking qualified path patterns not supported");
401401
}
402402

403403
void
404-
TypeCheckPattern::visit (HIR::SlicePattern &)
404+
TypeCheckPattern::visit (HIR::SlicePattern &pattern)
405405
{
406-
// TODO
407-
gcc_unreachable ();
406+
rust_sorry_at (pattern.get_locus (),
407+
"type checking qualified path patterns not supported");
408408
}
409409

410410
} // namespace Resolver

0 commit comments

Comments
 (0)