Skip to content
This repository has been archived by the owner on Jul 3, 2024. It is now read-only.

Diagnose meaningless annotations #56

Open
Xazax-hun opened this issue Aug 29, 2019 · 2 comments
Open

Diagnose meaningless annotations #56

Xazax-hun opened this issue Aug 29, 2019 · 2 comments

Comments

@Xazax-hun
Copy link
Collaborator

Diagnose when we annotate a non-pointer with gsl::lifetime, gsl::lifetime_out, gsl::lifetime_in.
Diagnose when we annotate a top-level pointer with gsl::lifetime_out.
Diagnose when we annotate a non-owner with gsl::lifetime_const.

Is there more ways to misuse annotations? Should we add these to the paper?

@mgehre
Copy link
Owner

mgehre commented Sep 4, 2019

We should be careful in a template context, where an annotation on T make sense/no-sense depending on whether T is a Owner, Pointer or otherwise.

@Xazax-hun
Copy link
Collaborator Author

Good point!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants