[PATCH] D130055: Clang extensions yolo, woot & kaboom

[Jan Korous via Phabricator via cfe-commits]

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