We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0ba3e85 commit 9d7aadcCopy full SHA for 9d7aadc
1 file changed
compiler/noirc_frontend/src/parser/parser/types.rs
@@ -15,7 +15,7 @@ impl<'a> Parser<'a> {
15
typ
16
} else {
17
self.expected_label(ParsingRuleLabel::Type);
18
- self.unspecified_type_at_previous_token_end()
+ UnresolvedTypeData::Error.with_span(self.span_at_previous_token_end())
19
}
20
21
@@ -660,6 +660,14 @@ mod tests {
660
assert!(unconstrained);
661
662
663
+ #[test]
664
+ fn parses_function_type_with_colon_in_parameter() {
665
+ let src = "fn(value: T) -> Field";
666
+ let mut parser = Parser::for_str(src);
667
+ let _ = parser.parse_type_or_error();
668
+ assert!(!parser.errors.is_empty());
669
+ }
670
+
671
#[test]
672
fn parses_trait_as_type_no_generics() {
673
let src = "impl foo::Bar";
0 commit comments