diff --git a/compiler/can/tests/test_can.rs b/compiler/can/tests/test_can.rs index 2ec45dac73..debc368151 100644 --- a/compiler/can/tests/test_can.rs +++ b/compiler/can/tests/test_can.rs @@ -433,7 +433,7 @@ mod test_can { assert_eq!(problems, Vec::new()); } - + // LOCALS // TODO rewrite this test to check only for UnusedDef reports diff --git a/compiler/parse/src/ast.rs b/compiler/parse/src/ast.rs index 78f6ab2346..7b9f50e41c 100644 --- a/compiler/parse/src/ast.rs +++ b/compiler/parse/src/ast.rs @@ -278,8 +278,8 @@ pub enum Def<'a> { Body(&'a Loc>, &'a Loc>), AnnotatedBody { - ann_pattern: Loc>, - ann_type: Loc>, + ann_pattern: &'a Loc>, + ann_type: &'a Loc>, comment: Option<&'a str>, body_pattern: &'a Loc>, body_expr: &'a Loc>, diff --git a/compiler/parse/src/expr.rs b/compiler/parse/src/expr.rs index 03006199d2..db50ce4ad5 100644 --- a/compiler/parse/src/expr.rs +++ b/compiler/parse/src/expr.rs @@ -516,8 +516,8 @@ fn to_def<'a>( (ann_pattern, ann_type), Some((opt_comment, (body_pattern, body_expr))), )) => Def::AnnotatedBody { - ann_pattern, - ann_type, + ann_pattern: arena.alloc(ann_pattern), + ann_type: arena.alloc(ann_type), comment: opt_comment, body_pattern: arena.alloc(body_pattern), body_expr: arena.alloc(body_expr), @@ -854,8 +854,8 @@ fn parse_def_signature<'a>( Region::span_across(&loc_first_pattern.region, &body_expr.region); Located { value: Def::AnnotatedBody { - ann_pattern: loc_first_pattern, - ann_type: loc_first_annotation, + ann_pattern: arena.alloc(loc_first_pattern), + ann_type: arena.alloc(loc_first_annotation), comment: opt_comment, body_pattern: arena.alloc(body_pattern), body_expr: arena.alloc(body_expr),