bug: Ambiguity in the meaning of identifiers

[huanie]

Did you check existing issues?

• [X] I have read all the tree-sitter docs if it relates to using the parser
• [X] I have searched the existing issues of tree-sitter-c

Tree-Sitter CLI Version, if relevant (output of tree-sitter --version)

No response

Describe the bug

declaration or expression statement?

typedef int T;
void f(void) {
  T * b;
}

int T, b;
void f(void) {
  T * b;
}

Steps To Reproduce/Bad Parse Tree

(translation_unit
 (function_definition type: (primitive_type)
  declarator: 
   (function_declarator declarator: (identifier)
    parameters: 
     (parameter_list (
      (parameter_declaration type: (primitive_type))
      )))
  body: 
   (compound_statement {
    (declaration type: (type_identifier)
     declarator: (pointer_declarator * declarator: (identifier))
     ;)
    (return_statement return (number_literal) ;)
    })))

Expected Behavior/Parse Tree

(translation_unit
 (function_definition type: (primitive_type)
  declarator: 
   (function_declarator declarator: (identifier)
    parameters: 
     (parameter_list (
      (parameter_declaration type: (primitive_type))
      )))
  body: 
   (compound_statement {
    (expression_statement
     (binary_expression left: (identifier) operator: * right: (identifier))
     ;)
    (return_statement return (number_literal) ;)
    })))

Repro

int main(void)
{
  a * b;
  return 0;
}

[amaanq]

when it comes to true ambiguous situations like this one, you need context-aware information about the source code beforehand, which tree-sitter does not have that a compiler like clang does. this can't be solved.