Skip to content
Snippets Groups Projects
Commit 91ba643c authored by Alan Zimmerman's avatar Alan Zimmerman
Browse files

API Annotations: AnnAt disconnected for TYPEAPP

For the code

    type family F1 (a :: k) (f :: k -> Type) :: Type where
      F1 @Peano a f = T @Peano f a

the API annotation for the first @ is not attached to a SourceSpan in
the ParsedSource

Closes #16236

(cherry picked from commit cbfc9fca)
parent a853099a
No related branches found
No related tags found
No related merge requests found
Showing
with 201 additions and 72 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment