Skip to content
Snippets Groups Projects
Commit cbfc9fca authored by Alan Zimmerman's avatar Alan Zimmerman Committed by Marge Bot
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
parent be15f745
No related branches found
No related tags found
No related merge requests found
Showing
with 199 additions and 70 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