Skip to content

Semantic tokens forall function hide under type syn is not recognized #3966

Closed
@soulomoon

Description

@soulomoon

Current implmentation is does expand type synoym for type from the in memory hieAst.

So the forall function hide under type syn is not recognized

  1. T1 type syn is expanded since isFunType check so.
  2. T2 is not, since the check only expand forall.

It result in forall hide behide type syn is not expanded
image

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions