gccrs: [E0023] Incorrect Number of Fields in Pattern Extraction

MahadMuhammad · philberty · commit 5711a2ad9322 · 2023-06-27T09:28:56.000Z
ErrorCode[E0023]: Incorrect Number of Fields in Pattern Extraction. 
The pattern has x fields, but the corresponding tuple variant 
has y field

gcc/rust/ChangeLog:
	* typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): called rust_error_at

Signed-off-by: Muhammad Mahad &lt;mahadtxt@gmail.com&gt;
diff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
@@ -112,7 +112,7 @@ TypeCheckPattern::visit (HIR::TupleStructPattern &pattern)
 	if (items_no_range.get_patterns ().size () != variant->num_fields ())
 	  {
 	    rust_error_at (
-	      pattern.get_locus (),
+	      pattern.get_locus (), ErrorCode ("E0023"),
 	      "this pattern has %lu fields but the corresponding "
 	      "tuple variant has %lu field",
 	      (unsigned long) items_no_range.get_patterns ().size (),

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ TypeCheckPattern::visit (HIR::TupleStructPattern &pattern)`
`112`	`112`	`if (items_no_range.get_patterns ().size () != variant->num_fields ())`
`113`	`113`	`{`
`114`	`114`	`rust_error_at (`
`115`		`- pattern.get_locus (),`
	`115`	`+ pattern.get_locus (), ErrorCode ("E0023"),`
`116`	`116`	`"this pattern has %lu fields but the corresponding "`
`117`	`117`	`"tuple variant has %lu field",`
`118`	`118`	`(unsigned long) items_no_range.get_patterns ().size (),`