jkorous added a comment.
In D130055#3683279 <https://reviews.llvm.org/D130055#3683279>, @beanz wrote:
> I'm wondering if there could be a generalization of the attribute like:
I can't imagine it is possible to design a reasonable and practically usable
system of attributes to model anything but very limited subset of interface
contracts.
FWIW I would consider the state space of `{initialized, uninitialized}` as a
great first step. Generalizing this idea to per-abstract-property should be
entirely possible as a subsequent improvement.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D130055/new/
https://reviews.llvm.org/D130055
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
