fix weird region in error messages

compiler/constrain/src/expr.rs

@@ -1019,7 +1019,7 @@ fn constrain_def(env: &Env, def: &Def, body_con: Constraint) -> Constraint {
                 expr_type,
                 annotation_expected.clone(),
                 Category::Storage,
-                annotation.region,
+                Region::span_across(&annotation.region, &def.loc_expr.region),
             ));
 
             // when a def is annotated, and it's body is a closure, treat this

compiler/reporting/tests/test_reporting.rs

@@ -3542,8 +3542,8 @@ mod test_reporting {
 
                 Something is off with the body of this definition:
 
-                2 ┆      { x, y } : { x : Int, y ? Bool }
-                  ┆                 ^^^^^^^^^^^^^^^^^^^^^
+                2 ┆>      { x, y } : { x : Int, y ? Bool }
+                3 ┆>      { x, y } = rec
 
                 The body is a value of type: